Login / Signup
Process Expressions and Hoare's Logic: Showing an Irreconcilability of Context-Free Recursion with Scott's Induction Rule
Alban Ponse
Published in:
Inf. Comput. (1991)
Keyphrases
</>
context free
expert systems
grammatical inference
knowledge base
classification rules
attribute grammars