Valentin M. Antimirov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1992–1995
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | FCT | Rewriting Regular Inequalities (Extended Abstract). | Valentin M. Antimirov |
| 1995 | STACS | Partial Derivates of Regular Expressions and Finite Automata Constructions. | Valentin M. Antimirov |
| 1993 | DLT | Rewriting Extended Regular Expressions. | Valentin M. Antimirov, Peter D. Mosses |
| 1992 | LPAR | Consistency of Equational Enrichments. | Valentin M. Antimirov, Anatoli Degtyarev |