Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences.

Michele Boreale Paola Inverardi Monica Nesi

Published in: Inf. Process. Lett. (1992)

Keyphrases

knowledge base
horn clauses
relational algebra
real numbers
database
machine learning
information retrieval
artificial intelligence
np complete
first order logic
connected components
finite sets
temporal ordering
linear separability