On First-Order Fragments for Mazurkiewicz Traces.

Volker Diekert Martin Horsch Manfred Kufleitner

Published in: Fundam. Informaticae (2007)

Keyphrases

mazurkiewicz traces
temporal logic
satisfiability problem
model checking
modal logic
databases
linear temporal logic
higher order
xml documents
machine learning
database
search algorithm
case study
website
knowledge base
computer vision
genetic algorithm