scientific article
From MaRDI portal
Publication:2711324
zbMath0976.68098MaRDI QIDQ2711324
Djelloul Ziadi, Jean-Marc Champarnaud
Publication date: 24 April 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (17)
Derived-Term Automata for Extended Weighted Rational Expressions ⋮ Deciding Regular Expressions (In-)Equivalence in Coq ⋮ Prefix and Right-Partial Derivative Automata ⋮ Manipulation of regular expressions using derivatives: an overview ⋮ Average complexity of partial derivatives for synchronised shuffle expressions ⋮ Automata for regular expressions with shuffle ⋮ Derivatives of rational expressions and related theorems. ⋮ Unnamed Item ⋮ A mesh of automata ⋮ Partial derivatives of regular expressions over alphabet-invariant and user-defined labels ⋮ On the size of partial derivatives and the word membership problem ⋮ Partial Derivative Automata Formalized in Coq ⋮ Fast equation automaton computation ⋮ On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection ⋮ Automata and rational expressions ⋮ Canonical derivatives, partial derivatives and finite automaton constructions. ⋮ Deciding Kleene algebra terms equivalence in Coq
This page was built for publication:
