Searching for authors named Marc Bezem – sorted by Relevance.
-
Strong Termination of Logic Programs
- -- -- 1 Strong Termination of Logic Programs Marc Bezem Centre for Mathematics and Computer
- Cited by 34 (0 self) – Add To MetaCart
-
Extensionality of Simply Typed Logic Programs
- of Simply Typed Logic Programs Marc Bezem CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands
- Cited by 1 (0 self) – Add To MetaCart
-
Ramsey's theorem and the pigeonhole principle in intuitionistic mathematics
- 194 WIM VELDMAN AND MARC BEZEM istically) infinite, implies, probably recklessly, that there exists
- Cited by 6 (1 self) – Add To MetaCart
-
Two Finite Specifications of a Queue
- Two Finite Specifications of a Queue Marc Bezem 1 Alban Ponse 2 1 Utrecht University
- Cited by 3 (0 self) – Add To MetaCart
-
Nivelle. Automated proof construction in type theory using resolution
- Automated Proof Construction in Type Theory using Resolution † Marc Bezem (bezem
- Cited by 11 (0 self) – Add To MetaCart
-
A strongly complete logic of dense time intervals
- A Strongly Complete Logic of Dense Time Intervals Michał Walicki, Marc Bezem, Wojtek Szajnkenig
- Cited by 1 (1 self) – Add To MetaCart
-
On the computational content of the Axiom of Choice
- Marc Bezem Utrecht University y Thierry Coquand Chalmers University of Gothenburg z Abstract We
- Cited by 20 (1 self) – Add To MetaCart
-
A Formal Verification of the Alternating Bit Protocol in the Calculus of Constructions
- A Formal Verification of the Alternating Bit Protocol in the Calculus of Constructions Marc Bezem
- Cited by 13 (3 self) – Add To MetaCart
-
Course Material: Introduction to Automated Reasoning, Course given at the 18th European Summerschool in Logic, Language and Information,
- Nivelle and Marc Bezem June 26, 2006 2 Contents 1 Preliminaries 5 1.1 Orders and Ordinal numbers
- Add To MetaCart
-
Formulas as Programs
- http://www.cwi.nl/~apt Marc Bezem CWI and Dept. of Philosophy, Utrecht University P.O. Box 80126
- Cited by 1 (0 self) – Add To MetaCart

