Valentin Antimirov

From MaRDI portal
(Redirected from Person:672141)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Consistency and semantics of equational definitions over predefined algebras
Conditional Term Rewriting Systems
2023-03-09Paper
Rewriting regular inequalities
Fundamentals of Computation Theory
2022-12-09Paper
Partial derivatives of regular expressions and finite automata constructions
STACS 95
2017-12-04Paper
Rewriting extended regular expressions
Theoretical Computer Science
1997-02-28Paper
Partial derivatives of regular expressions and finite automaton constructions
Theoretical Computer Science
1997-02-27Paper
scientific article; zbMATH DE number 3913724 (Why is no real title available?)1985-01-01Paper


Research outcomes over time


This page was built for person: Valentin Antimirov