BibSonomy ::  author ::

bookmarks

publications

(99)

• The Max-Atom Problem and Its Relevance.
  Marc Bezem and Robert Nieuwenhuis and Enric Rodríguez-Carbonell LPAR 47-61 (2008)
  to dblp by dblp on 2008-11-18 00:00:00
  | URL | BibTeX  
• Term Rewriting Systems
  Marc Bezem and Jan Willem Klop and Roel de Vrijer (eds.). (2003)
  to imported by pdeleenh and 2 other people on 2008-07-07 16:45:32
  | BibTeX  
• On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic.
  Marc Bezem and Dimitri Hendriks J. Autom. Reasoning 40 61-85 (2008)
  to dblp by dblp on 2008-03-12 00:00:00
  | URL | BibTeX  
• Formulas as Programs
  Krzysztof R. Apt and Marc Bezem CoRR cs.LO/9811017 (1998)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Completeness and Decidability in Sequence Logic.
  Marc Bezem and Tore Langholm and Michal Walicki LPAR 123-137 (2007)
  to dblp by dblp on 2007-10-19 00:00:00
  | URL | BibTeX  
• Term Rewriting Systems
  Marc Bezem and Jan Willem Klop and Roel de Vrijer (eds.). (2003)
  to system:unfiled by evol and 2 other people on 2007-09-26 10:37:27
  | BibTeX  
• Term Rewriting Systems
  Marc Bezem and Jan Willem Klop and Roel de Vrijer (eds.). (2003)
  to imported by tommens and 2 other people on 2007-09-25 21:44:52
  | BibTeX  
• Skolem Machines and Geometric Logic.
  John Fisher and Marc Bezem ICTAC 201-215 (2007)
  to dblp by dblp on 2007-09-13 00:00:00
  | URL | BibTeX  
• Query Completeness of Skolem Machine Computations.
  John Fisher and Marc Bezem MCU 182-192 (2007)
  to dblp by dblp on 2007-08-28 00:00:00
  | URL | BibTeX  
• A Descriptive Characterisation of Even Linear Languages.
  Tore Langholm and Marc Bezem Grammars 6 169-181 (2003)
  to dblp by dblp on 2006-02-22 00:00:00
  | URL | BibTeX  
• On the Undecidability of Coherent Logic.
  Marc Bezem Processes, Terms and Cycles 6-13 (2005)
  to dblp by dblp on 2005-12-22 00:00:00
  | URL | BibTeX  
• Automating Coherent Logic.
  Marc Bezem and Thierry Coquand LPAR 246-260 (2005)
  to dblp by dblp on 2005-12-05 00:00:00
  | URL | BibTeX  
• Finding Resource Bounds in the Presence of Explicit Deallocation.
  Hoang Truong and Marc Bezem ICTAC 227-241 (2005)
  to dblp by dblp on 2005-11-07 00:00:00
  | URL | BibTeX  
• A Type System for the Safe Instantiation of Components.
  Marc Bezem and Hoang Truong Electr. Notes Theor. Comput. Sci. 97 197-217 (2004)
  to dblp by dblp on 2004-09-22 00:00:00
  | URL | BibTeX  
• A Simple Proof of the Undecidability of Inhabitation in lambdaP.
  Marc Bezem and Jan Springintveld J. Funct. Program. 6 757-761 (1996)
  to dblp by dblp on 2004-03-19 00:00:00
  | URL | BibTeX  
• Automated Proof Construction in Type Theory Using Resolution.
  Marc Bezem and Dimitri Hendriks and Hans de Nivelle J. Autom. Reasoning 29 253-275 (2002)
  to dblp by dblp on 2004-02-04 00:00:00
  | URL | BibTeX  
• Semantics and Consistency of Rule-Based Expert Systems.
  Marc Bezem J. Log. Comput. 1 477-495 (1991)
  to dblp by dblp on 2003-12-19 00:00:00
  | URL | BibTeX  
• Newman's lemma - a case study in proof automation and geometric logic, Logic in Computer Science Column.
  Marc Bezem and Thierry Coquand Bulletin of the EATCS 79 86-100 (2003)
  to dblp by dblp on 2003-12-17 00:00:00
  | URL | BibTeX  
• Undecidable Goals for Completed Acyclic Programs.
  Marc Bezem and Jan Keuzenkamp New Generation Comput. 12 209-213 (1994)
  to dblp by dblp on 2003-12-02 00:00:00
  | URL | BibTeX  
• Acyclic Programs.
  Krzysztof R. Apt and Marc Bezem New Generation Comput. 9 335-364 (1991)
  to dblp by dblp on 2003-12-02 00:00:00
  | URL | BibTeX