CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1982
-
January 1982
-
Contributions to the theory of logic programming Article
Journal of the ACM, 841-862.January 1982
-
January 1982
-
Fair termination revisited with delay In Proceedings
January 1982
-
Proof rules dealing with fairness In Proceedings
January 1982
-
January 1982
-
January 1982