Syntax vs. Semantics on Finite Structures.

Natasha Alechina Yuri Gurevich

Published in: Structures in Logic and Computer Science (1997)

Keyphrases

operational semantics
definition language
rule language
lexical semantics
precisely defined
formal semantics
machine processable
logic programming
semantic information
genetic algorithm
information systems
natural language
hierarchical structures
attribute grammars