Antimirov, Valentin M.
-
DAIMI Report Series Nr. 431 (1993): PB-431 Consistency and Semantics of Equational Definitions over Predefined Algebras - Articles
Consistency and Semantics of Equational Definitions over Predefined Algebras
Resumé PDF (English) -
DAIMI Report Series Nr. 461 (1993): PB-461 Rewriting Extended Regular Expressions - Articles
Rewriting Extended Regular Expressions
Resumé PDF (English)