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] |