A formal specification of document processing
From MaRDI portal
Publication:1370522
DOI10.1016/S0895-7177(97)00024-1zbMath0888.68121OpenAlexW1997137927MaRDI QIDQ1370522
Allen L. jun. Brown, Surya Mantha, Toshiro Wakayama
Publication date: 26 October 1997
Published in: Mathematical and Computer Modelling (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0895-7177(97)00024-1
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The equivalence and inclusion problems for NTS languages
- NTS languages are deterministic and congruential
- Attribute grammars. Definitions, systems and bibliography
- Theory of program structures: Schemes, semantics, verification
- Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning
- Breaking paragraphs into lines
- Parenthesis Grammars
This page was built for publication: A formal specification of document processing