Reactivity and Grammars: An Exploration

DOI10.1007/978-3-642-45321-2_6zbMath1486.68084OpenAlexW2158907716MaRDI QIDQ5498743

Howard Barringer, Dov M. Gabbay, David E. Rydeheard

Publication date: 10 February 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-45321-2_6

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Grammars and rewriting systems (68Q42)

Related Items (1)

Introducing Reactive Kripke Semantics and Arc Accessibility

This page was built for publication: Reactivity and Grammars: An Exploration