scientific article
From MaRDI portal
Publication:2819377
DOI10.25596/JALC-2010-007zbMath1345.68194MaRDI QIDQ2819377
Nelma Moreira, Marco Almeida, Rogério Reis
Publication date: 29 September 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
New ⋮ Deciding Regular Expressions (In-)Equivalence in Coq ⋮ Manipulation of regular expressions using derivatives: an overview ⋮ Deciding Synchronous Kleene Algebra with Derivatives ⋮ Partial Derivative Automata Formalized in Coq ⋮ Deciding Kleene algebra terms equivalence in Coq ⋮ On the semantics of regular expression parsing in the wild
This page was built for publication:
