An Effective Algorithm for the Membership Problem for Extended Regular Expressions

From MaRDI portal

Revision as of 05:05, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5758060

Jump to:navigation, search

DOI10.1007/978-3-540-71389-0_24zbMath1195.68059OpenAlexW2163542730MaRDI QIDQ5758060

Grigore Roşu

Publication date: 7 September 2007

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71389-0_24

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45)

Related Items (2)

Soundness and completeness proofs by coinductive methods ⋮ Regular Programming for Quantitative Properties of Data Streams

This page was built for publication: An Effective Algorithm for the Membership Problem for Extended Regular Expressions

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5758060&oldid=30533492"