Techniques for the formal definition of the G-LOTOS syntax.

Tommaso Bolognesi Diego Latella

Published in: VL (1989)

Keyphrases

temporal ordering
natural language
predicate calculus
definition language
precisely defined
neural network
information systems
high level
multi agent
data structure
expert systems
context free grammars
syntactic analysis
database language