-
1
-
-
0346401395
-
Some complexity bounds for subtype inequalities
-
Benke M. Some complexity bounds for subtype inequalities. Theoret. Comput. Sci. 212 (1999) 3-27
-
(1999)
Theoret. Comput. Sci.
, vol.212
, pp. 3-27
-
-
Benke, M.1
-
2
-
-
84957354636
-
-
V. Dalmau, J. Pearson, Set functions and width 1 problems, in: Proceedings of the 5th International Conference on Constraint Programming, CP'99, Lecture Notes in Computer Science, vol. 1713, Springer, Berlin, 1999, pp. 159-173.
-
V. Dalmau, J. Pearson, Set functions and width 1 problems, in: Proceedings of the 5th International Conference on Constraint Programming, CP'99, Lecture Notes in Computer Science, vol. 1713, Springer, Berlin, 1999, pp. 159-173.
-
-
-
-
3
-
-
0001937519
-
A structure theory for ordered sets
-
Duffus D., and Rival I. A structure theory for ordered sets. Discrete Math. 35 (1981) 53-118
-
(1981)
Discrete Math.
, vol.35
, pp. 53-118
-
-
Duffus, D.1
Rival, I.2
-
4
-
-
0032057865
-
The computational structure of monotone monadic SNP and constraint satisfaction: a study through datalog and group theory
-
Feder T., and Vardi M.Y. The computational structure of monotone monadic SNP and constraint satisfaction: a study through datalog and group theory. SIAM J. Comput. 28 (1998) 57-104
-
(1998)
SIAM J. Comput.
, vol.28
, pp. 57-104
-
-
Feder, T.1
Vardi, M.Y.2
-
6
-
-
0037999301
-
Absolute retracts and varieties of reflexive graphs
-
Hell P., and Rival I. Absolute retracts and varieties of reflexive graphs. Canad. J. Math. 39 (1987) 544-567
-
(1987)
Canad. J. Math.
, vol.39
, pp. 544-567
-
-
Hell, P.1
Rival, I.2
-
7
-
-
0001304628
-
Retracts: graphs and ordered sets from metric point of view
-
Jawhari M., Misane D., and Pouzet M. Retracts: graphs and ordered sets from metric point of view. Contemp. Math. 57 (1986) 175-226
-
(1986)
Contemp. Math.
, vol.57
, pp. 175-226
-
-
Jawhari, M.1
Misane, D.2
Pouzet, M.3
-
8
-
-
0042883711
-
Order varieties and monotone retractions of finite posets
-
Kun G., and Szabó Cs. Order varieties and monotone retractions of finite posets. Order 18 (2001) 79-88
-
(2001)
Order
, vol.18
, pp. 79-88
-
-
Kun, G.1
Szabó, Cs.2
-
9
-
-
10744220609
-
The complexity of the extendibility problem for finite posets
-
Larose B., and Zádori L. The complexity of the extendibility problem for finite posets. SIAM J. Discrete Math. 17 1 (2003) 114-121
-
(2003)
SIAM J. Discrete Math.
, vol.17
, Issue.1
, pp. 114-121
-
-
Larose, B.1
Zádori, L.2
-
10
-
-
12944271956
-
Finite posets and topological spaces in locally finite varieties
-
Larose B., and Zádori L. Finite posets and topological spaces in locally finite varieties. Algebra Universalis 52 2-3 (2005) 119-136
-
(2005)
Algebra Universalis
, vol.52
, Issue.2-3
, pp. 119-136
-
-
Larose, B.1
Zádori, L.2
-
11
-
-
0027004055
-
-
P. Lincoln, J. Mitchell, Algorithmic aspects of type interference with subtypes, in: Proceedings of the 19th ACM Symposium on Principles of Programming Languages, POPL'92, 1992, pp. 293-304.
-
P. Lincoln, J. Mitchell, Algorithmic aspects of type interference with subtypes, in: Proceedings of the 19th ACM Symposium on Principles of Programming Languages, POPL'92, 1992, pp. 293-304.
-
-
-
-
12
-
-
78649838873
-
-
K. Lodaya, P. Weil, Series-parallel posets: algebra, automata and languages, in: Proceedings of the 15th Symposium on Theoretical Aspects of Computer Science, STACS'98, 1998, pp. 555-565.
-
K. Lodaya, P. Weil, Series-parallel posets: algebra, automata and languages, in: Proceedings of the 15th Symposium on Theoretical Aspects of Computer Science, STACS'98, 1998, pp. 555-565.
-
-
-
-
13
-
-
0000515937
-
Computationally tractable classes of ordered sets
-
Kluwer, Dordrecht
-
Möhring R.H. Computationally tractable classes of ordered sets. Algorithms and Order (Ottawa, 1987) (1989), Kluwer, Dordrecht 105-193
-
(1989)
Algorithms and Order (Ottawa, 1987)
, pp. 105-193
-
-
Möhring, R.H.1
-
14
-
-
0032672667
-
Scheduling series-parallel orders subject to 0 / 1-communication delays
-
Möhring R.H., and Schäffter M.W. Scheduling series-parallel orders subject to 0 / 1-communication delays. Parallel Comput. 25 (1999) 23-40
-
(1999)
Parallel Comput.
, vol.25
, pp. 23-40
-
-
Möhring, R.H.1
Schäffter, M.W.2
-
16
-
-
0030281821
-
Satisfiability of inequalities in a poset
-
Pratt V., and Tiuryn J. Satisfiability of inequalities in a poset. Fund. Inform. 28 (1996) 165-182
-
(1996)
Fund. Inform.
, vol.28
, pp. 165-182
-
-
Pratt, V.1
Tiuryn, J.2
-
17
-
-
0043015175
-
Stories about order and the letter N (en)
-
Rival I. Stories about order and the letter N (en). Contemp. Math. 57 (1986) 263-285
-
(1986)
Contemp. Math.
, vol.57
, pp. 263-285
-
-
Rival, I.1
-
19
-
-
0035640974
-
Idempotent totally symmetric operations on finite posets
-
Szabó Cs., and Zádori L. Idempotent totally symmetric operations on finite posets. Order 18 (2001) 39-47
-
(2001)
Order
, vol.18
, pp. 39-47
-
-
Szabó, Cs.1
Zádori, L.2
-
21
-
-
34250084016
-
Series parallel posets with nonfinitely generated clones
-
Zádori L. Series parallel posets with nonfinitely generated clones. Order 10 (1993) 305-316
-
(1993)
Order
, vol.10
, pp. 305-316
-
-
Zádori, L.1
|