Universal Logic Sequences.

Ed Dawson Bruce Goldburg

Published in: AUSCRYPT (1990)

Keyphrases

multi valued
hidden markov models
logic programming
long sequences
sequential patterns
variable length
case study
classical logic
predicate logic
pairwise
modal logic
temporal sequences
computational properties
truth values
formal theory
asynchronous circuits
information systems