Expressive Completeness of LTrL on Finite Traces: An Algebraic Proof.

Raphaël Meyer Antoine Petit

Published in: STACS (1998)

Keyphrases

complete axiomatization
equational theories
finite number
theorem proving
artificial intelligence
theorem prover
log files
unit length
real time
finite automata
linear logic
finitely representable