HTML Validation of Context-Free Languages

DOI10.1007/978-3-642-19805-2_29zbMath1326.68038OpenAlexW119710065MaRDI QIDQ3000627

Anders Møller, Mathias Romme Schwarz

Publication date: 19 May 2011

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-642-19805-2_29

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Internet topics (68M11)

Related Items (1)

A complete refinement procedure for regular separability of context-free languages

Uses Software

• Soot

This page was built for publication: HTML Validation of Context-Free Languages