Marc Bezem - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2009

Skolem MachinesJohn Fisher, Marc Bezem. FUIN, 91(1):79-103, 2009. [doi]

2008

Exponential behaviour of the Butkovic-Zimmermann algorithm for solving two-sided linear systems in max-algebraMarc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell. DAM, 156(18):3506-3509, 2008. [doi]

2007

Skolem Machines and Geometric LogicJohn Fisher, Marc Bezem. ictac 2007: 201-215 [doi]

Query Completeness of Skolem Machine ComputationsJohn Fisher, Marc Bezem. mcu 2007: 182-192 [doi]

2005

On the Undecidability of Coherent LogicMarc Bezem. BIRTHDAY 2005: 6-13 [doi]

Finding Resource Bounds in the Presence of Explicit DeallocationHoang Truong, Marc Bezem. ictac 2005: 227-241 [doi]

2003

Newman s lemma - a case study in proof automation and geometric logic, Logic in Computer Science ColumnMarc Bezem, Thierry Coquand. eatcs, 79:86-100, 2003.

1997

Two Finite Specifications of a QueueMarc Bezem, Alban Ponse. TCS, 177(2):487-507, 1997. [doi]

Formalizing Process Algebraic Verifications in the Calculus of ConstructionsMarc Bezem, Roland N. Bol, Jan Friso Groote. fac, 9(1):1-48, 1997.

Computer Science Logic, 10th International Workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected PapersDirk van Dalen, Marc Bezem, editors, Volume 1258 of Lecture Notes in Computer Science, Springer, 1997.

1996

Polymorphic Extensions of Simple Type Structures - With an Application to Bar Recursive MinimizationErik Barendsen, Marc Bezem. APAL, 79(3):221-280, 1996.

A Simple Proof of the Undecidability of Inhabitation in lambda::::P::::Marc Bezem, Jan Springintveld. JFP, 6(5):757-761, 1996.

1995

A realization of the negative interpretation of the Axiom of ChoiceStefano Berardi, Marc Bezem, Thierry Coquand. tlca 1995: 47-62

1994

Invariants in Process Algebra with DataMarc Bezem, Jan Friso Groote. concur 1994: 401-416

1993

Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA 93, Utrecht, The Netherlands, March 16-18, 1993, ProceedingsMarc Bezem, Jan Friso Groote, editors, Volume 664 of Lecture Notes in Computer Science, Springer, 1993.

1991

Acyclic ProgramsKrzysztof R. Apt, Marc Bezem. ngc, 9(3/4):335-364, 1991.

1990

Acyclic ProgramsKrzysztof R. Apt, Marc Bezem. ICLP 1990: 617-633