[Lecture Notes in Computer Science] Operating Systems of the 90s and Beyond Volume 563 || Closely coupled systems
- 作者Karshmer, Arthur; Nehmer, Jürgen
- 文件大小203.13KB
- 发表时间1991
- DOI10.1007/BFb0024521
- 页码44-47
[Lecture Notes in Computer Science] Computer Science Logic Volume 2803 || Quantified Constraints: Algorithms and ComplexityBaaz, Matthias; Makowsky, Johann A. · 2003
[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 845 || Automated deduction with constraintsJouannaud, Jean-Pierre · 1994
[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 845 || Solving simplification ordering constraintsJouannaud, Jean-Pierre · 1994
[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || The complexity of set constraintsBörger, Egon; Gurevich, Yuri; Meinke, Karl · 1994
[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || Logical aspects of set constraintsBörger, Egon; Gurevich, Yuri; Meinke, Karl · 1994
[Lecture Notes in Computer Science] Recent Advances in Constraints Volume 2627 ||O’Sullivan, Barry · 2003
[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 845 || Set constraints and logic programmingJouannaud, Jean-Pierre · 1994
[Lecture Notes in Computer Science] Complexity of Constraints Volume 5250 ||Creignou, Nadia; Kolaitis, Phokion G.; Vollmer, Heribert · 2008