Login / Signup
Formal Semantics and Abstract Properties of String Pattern Operations and Extended Formal Language Description Mechanisms.
Arthur C. Fleck
R. S. Limaye
Published in:
SIAM J. Comput. (1983)
Keyphrases
</>
formal language
formal semantics
high level
logical language
modelling language
theorem prover
modeling language
first order logic
artificial intelligence
query processing
query language
context free grammars
natural language interface