Valentin M. Antimirov

Publication Activity (10 Years)

Years Active: 1984-1996
Publications (10 Years): 0

Publications

Valentin M. Antimirov
Partial Derivatives of Regular Expressions and Finite Automaton Constructions. Theor. Comput. Sci. 155 (2) (1996)
Valentin M. Antimirov
Partial Derivates of Regular Expressions and Finite Automata Constructions. STACS (1995)
Valentin M. Antimirov
Rewriting Regular Inequalities (Extended Abstract). FCT (1995)
Valentin M. Antimirov, Peter D. Mosses
Rewriting Extended Regular Expressions. Theor. Comput. Sci. 143 (1) (1995)
Valentin M. Antimirov, Anatoli Degtyarev
Completeness of Equational Definitions over Predefined Algebras. AMAST (1993)
Valentin M. Antimirov, Peter D. Mosses
Rewriting Extended Regular Expressions. Developments in Language Theory (1993)
Valentin M. Antimirov, Anatoli Degtyarev
Consistency and Semantics of Equational Definitions over Predefined Algebras. CTRS (1992)
Valentin M. Antimirov, Anatoli Degtyarev
Consistency of Equational Enrichments. LPAR (1992)
Valentin M. Antimirov, N. N. Diduk, Vladimir Koval
Problems of Conceptor Language Formalization. IMACS European Simulation Meeting (1984)