Logical Definability on Infinite Traces.

Werner Ebinger Anca Muscholl

Published in: Theor. Comput. Sci. (1996)

Keyphrases

logical representation
fixed point
propositional logic
database
databases
information retrieval
three dimensional
data model
execution traces