An algebraic structure for derivations in rewriting systems
From MaRDI portal
Publication:1111012
DOI10.1016/0304-3975(88)90039-4zbMath0657.68025OpenAlexW2088527413MaRDI QIDQ1111012
Publication date: 1988
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(88)90039-4
Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Foundations, relations to logic and deductive systems (18A15)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebraic properties of derivation words
- The basic algebraic structures in categories of derivations
- Derivation languages and syntactical categories
- Polycategories
- Some remarks on derivations in general rewriting systems
- Semantics of context-free languages
- Syntax and semantics: A categorical view
- The parsing for general phrase-structure grammars