dblp.uni-trier.dewww.uni-trier.de

Valentin M. Antimirov Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1996
9EEValentin 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
7EEValentin M. Antimirov: Partial Derivates of Regular Expressions and Finite Automata Constructions. STACS 1995: 455-466
6EEValentin 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
2EEValentin 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

Coauthor Index

1Anatoli Degtyarev [2] [3] [5]
2N. N. Diduk [1]
3Vladimir Koval [1]
4Peter D. Mosses [4] [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)