Searching for authors named Marc Bezem – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
