Antimirov, Valentin M.

• DAIMI Report Series No. 431 (1993): PB-431 Consistency and Semantics of Equational Definitions over Predefined Algebras - Articles
  Consistency and Semantics of Equational Definitions over Predefined Algebras
  Abstract  PDF
• DAIMI Report Series No. 461 (1993): PB-461 Rewriting Extended Regular Expressions - Articles
  Rewriting Extended Regular Expressions
  Abstract  PDF