The topology of Mazurkiewicz traces.

Ralph Kummetz Dietrich Kuske

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

Keyphrases

mazurkiewicz traces
temporal logic
satisfiability problem
search algorithm
model checking
medical images
database
information systems
neural network
image segmentation
wide range
clustering algorithm
natural language
first order logic
heuristic search
genetic algorithm
databases
cell complexes
data sets