Legol 2.0: a Relational Specification Language for Complex Rules
(1979) : Susan Jones and Peter Mason and Ronald Stamper
DOI: https://doi.org/10.1016/0306-4379(79)90023-1
#LEGOL #__important #database #formal_language #legal_system #legislation #rule
#my_bibtex
#LEGOL #__important #database #formal_language #legal_system #legislation #rule #my_bibtex
Reactivity and Grammars: An Exploration
(2014) : Howard Barringer and David Rydeheard and Dov Gabbay
DOI: https://doi.org/10.1007/978-3-642-45321-2_6
#formal_language #grammar #kripke_structure #reactive_grammar #string_transform
#my_bibtex
#formal_language #grammar #kripke_structure #reactive_grammar #string_transform #my_bibtex