Coalgebraic Theories of Sequences in PVS.

Ulrich Hensel Bart Jacobs

Published in: J. Log. Comput. (1999)

Keyphrases

sequence analysis
theorem proving
timed automata
information systems
e learning
data structure
hidden markov models