1679 search results - page 112 / 336 » Strong order equivalence |
148
click to vote
FORTE
1997
15 years 6 months ago
1997
In a Message Sequence Chart (MSC) the dynamical behaviour of a number of cooperating processes is depicted. An MSC defines a partial order on the communication events between the...
139
click to vote
AAAI
1990
15 years 6 months ago
1990
A formal equivalence between propositional expert systems and decision tables is proved, and a practicable procedure given to perform the transformation between propositional expe...
126
click to vote
JCT
2008
15 years 5 months ago
2008
Factorizations of the cyclic permutation (1 2 . . . N) into two permutations with respectively n and m cycles, or, equivalently, unicellular bicolored maps with N edges and n whit...
172
click to vote
JAPLL
2006
15 years 5 months ago
2006
A conjecture by D. Seese states that if a set of graphs has a decidable monadic second-order theory, then it is the image of a set of trees under a transformation defined by monad...
153
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Grounding is the task of reducing a first order formula to ground formula that is equivalent on a given universe, and is important in many kinds of problem solving and re...