Valentin M. Antimirov

According to our database, Valentin M. Antimirov authored at least 8 papers between 1984 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Partial Derivatives of Regular Expressions and Finite Automaton Constructions.

Valentin M. Antimirov

Theor. Comput. Sci., 1996

1995

Rewriting Extended Regular Expressions.

Valentin M. Antimirov, Peter D. Mosses

Theor. Comput. Sci., 1995

Partial Derivates of Regular Expressions and Finite Automata Constructions.

Valentin M. Antimirov

Proceedings of the STACS 95, 1995

Rewriting Regular Inequalities (Extended Abstract).

Valentin M. Antimirov

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

1993

Completeness of Equational Definitions over Predefined Algebras.

Valentin M. Antimirov, Anatoli Degtyarev

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Consistency of Equational Enrichments.

Valentin M. Antimirov, Anatoli Degtyarev

Proceedings of the Logic Programming and Automated Reasoning, 1992

Consistency and Semantics of Equational Definitions over Predefined Algebras.

Valentin M. Antimirov, Anatoli Degtyarev

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1984

Problems of Conceptor Language Formalization.

Valentin M. Antimirov, N. N. Diduk, Vladimir Koval

Proceedings of the Simulation in Research and Development, 1984