A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences.

Natalya Gribovskaya

Published in: Ershov Memorial Conference (2011)

Keyphrases

partial order
set theory
partially ordered
total order
logical formulas
totally ordered
stable marriage
connected components
petri net
lattice structure
declarative semantics
default reasoning
modal logic
dominance relation
conceptual graphs
relational algebra
logic programming
sequential patterns