Set Constraints with Intersection

By Charatonik W.   Podelski A.  

Information and Computation, Vol. 179, Iss. 2, 2002-12 ,pp. : 213-229

Academic Press

Access to resources Recommend Favorite

Set Constraints and Logic Programming

By Kozen D.  

Information and Computation, Vol. 142, Iss. 1, 1998-04 ,pp. : 2-25

Academic Press

Access to resources Recommend Favorite

Cardinality of the set of all precomplete classes for definite automata

By Zhuk D.  

Journal of Mathematical Sciences, Vol. 169, Iss. 4, 2010-09 ,pp. : 430-434

Springer Publishing Company

Access to resources Recommend Favorite

Set Constraints in Some Equational Theories

By Charatonik W.  

Information and Computation, Vol. 142, Iss. 1, 1998-04 ,pp. : 40-75

Academic Press

Access to resources Recommend Favorite

Algorithms of Solution of Systems of Linear Diophantine Constraints over the Set {0,1}

By Kryvyi S. L.  

Cybernetics and Systems Analysis, Vol. 39, Iss. 5, 2003-09 ,pp. : 676-685

Springer Publishing Company

Access to resources Recommend Favorite