Equational Semantics.

Loïc Correnson

Published in: Informatica (Slovenia) (2000)

Keyphrases

semantic information
formal semantics
databases
artificial intelligence
theorem prover
theorem proving
semantic representation
data sets
decision trees
logic programming
transformation rules
nonmonotonic logics
logical language
equational theories