![]() |
| 1996 | ||
|---|---|---|
| 9 | EE | Valentin M. Antimirov: Partial Derivatives of Regular Expressions and Finite Automaton Constructions. Theor. Comput. Sci. 155(2): 291-319 (1996) |
| 1995 | ||
| 8 | Valentin M. Antimirov: Rewriting Regular Inequalities (Extended Abstract). FCT 1995: 116-125 | |
| 7 | Valentin M. Antimirov: Partial Derivates of Regular Expressions and Finite Automata Constructions. STACS 1995: 455-466 | |
| 6 | EE | Valentin M. Antimirov, Peter D. Mosses: Rewriting Extended Regular Expressions. Theor. Comput. Sci. 143(1): 51-72 (1995) |
| 1993 | ||
| 5 | Valentin M. Antimirov, Anatoli Degtyarev: Completeness of Equational Definitions over Predefined Algebras. AMAST 1993: 377-384 | |
| 4 | Valentin M. Antimirov, Peter D. Mosses: Rewriting Extended Regular Expressions. Developments in Language Theory 1993: 195-209 | |
| 1992 | ||
| 3 | Valentin M. Antimirov, Anatoli Degtyarev: Consistency and Semantics of Equational Definitions over Predefined Algebras. CTRS 1992: 67-81 | |
| 2 | Valentin M. Antimirov, Anatoli Degtyarev: Consistency of Equational Enrichments. LPAR 1992: 293-402 | |
| 1984 | ||
| 1 | Valentin M. Antimirov, N. N. Diduk, Vladimir Koval: Problems of Conceptor Language Formalization. IMACS European Simulation Meeting 1984: 67-77 | |
| 1 | Anatoli Degtyarev | [2] [3] [5] |
| 2 | N. N. Diduk | [1] |
| 3 | Vladimir Koval | [1] |
| 4 | Peter D. Mosses | [4] [6] |