publications:
- title: "Two Finite Specifications of a Queue"
  author:
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "1997"
  doi: "http://dx.doi.org/10.1016/S0304-3975(96)00257-5"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(96)00257-5"
  researchr: "https://researchr.org/publication/BezemP97"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "177"
  number: "2"
  pages: "487-507"
  kind: "article"
  key: "BezemP97"
- title: "On the Undecidability of Coherent Logic"
  author:
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11601548_2"
  links:
    doi: "http://dx.doi.org/10.1007/11601548_2"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/Bezem05"
  cites: 0
  citedby: 0
  pages: "6-13"
  booktitle: "BIRTHDAY"
  kind: "inproceedings"
  key: "Bezem05"
- title: "Skolem Machines and Geometric Logic"
  author:
  - name: "John Fisher"
    link: "https://researchr.org/alias/john-fisher"
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-75292-9_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-75292-9_14"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/FisherB07%3A0"
  cites: 0
  citedby: 0
  pages: "201-215"
  booktitle: "ictac"
  kind: "inproceedings"
  key: "FisherB07:0"
- title: "Invariants in Process Algebra with Data"
  author:
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "1994"
  tags:
  - "process algebra"
  - "data-flow"
  - " algebra"
  researchr: "https://researchr.org/publication/BezemG94"
  cites: 0
  citedby: 0
  pages: "401-416"
  booktitle: "concur"
  kind: "inproceedings"
  key: "BezemG94"
- title: "A realization of the negative interpretation of the Axiom of Choice"
  author:
  - name: "Stefano Berardi"
    link: "https://researchr.org/alias/stefano-berardi"
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  - name: "Thierry Coquand"
    link: "https://researchr.org/alias/thierry-coquand"
  year: "1995"
  researchr: "https://researchr.org/publication/BerardiBC95"
  cites: 0
  citedby: 0
  pages: "47-62"
  booktitle: "tlca"
  kind: "inproceedings"
  key: "BerardiBC95"
- title: "Query Completeness of Skolem Machine Computations"
  author:
  - name: "John Fisher"
    link: "https://researchr.org/alias/john-fisher"
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74593-8_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74593-8_16"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/FisherB07"
  cites: 0
  citedby: 0
  pages: "182-192"
  booktitle: "mcu"
  kind: "inproceedings"
  key: "FisherB07"
- title: "Polymorphic Extensions of Simple Type Structures - With an Application to Bar Recursive Minimization"
  author:
  - name: "Erik Barendsen"
    link: "https://researchr.org/alias/erik-barendsen"
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  year: "1996"
  researchr: "https://researchr.org/publication/BarendsenB96"
  cites: 0
  citedby: 0
  journal: "APAL"
  volume: "79"
  number: "3"
  pages: "221-280"
  kind: "article"
  key: "BarendsenB96"
- title: "A Simple Proof of the Undecidability of Inhabitation in lambda::::P::::"
  author:
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  - name: "Jan Springintveld"
    link: "https://researchr.org/alias/jan-springintveld"
  year: "1996"
  researchr: "https://researchr.org/publication/BezemS96"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "6"
  number: "5"
  pages: "757-761"
  kind: "article"
  key: "BezemS96"
- title: "Formalizing Process Algebraic Verifications in the Calculus of Constructions"
  author:
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  - name: "Roland N. Bol"
    link: "https://researchr.org/alias/roland-n.-bol"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  year: "1997"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BezemBG97"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "9"
  number: "1"
  pages: "1-48"
  kind: "article"
  key: "BezemBG97"
- title: "Finding Resource Bounds in the Presence of Explicit Deallocation"
  author:
  - name: "Hoang Truong"
    link: "https://researchr.org/alias/hoang-truong"
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11560647_15"
  links:
    doi: "http://dx.doi.org/10.1007/11560647_15"
  researchr: "https://researchr.org/publication/TruongB05"
  cites: 0
  citedby: 0
  pages: "227-241"
  booktitle: "ictac"
  kind: "inproceedings"
  key: "TruongB05"
- title: "Skolem Machines"
  author:
  - name: "John Fisher"
    link: "https://researchr.org/alias/john-fisher"
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  year: "2009"
  doi: "http://dx.doi.org/10.3233/FI-2009-0034"
  links:
    doi: "http://dx.doi.org/10.3233/FI-2009-0034"
  researchr: "https://researchr.org/publication/FisherB09"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "91"
  number: "1"
  pages: "79-103"
  kind: "article"
  key: "FisherB09"
- title: "Exponential behaviour of the Butkovic-Zimmermann algorithm for solving two-sided linear systems in max-algebra"
  author:
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  - name: "Robert Nieuwenhuis"
    link: "https://researchr.org/alias/robert-nieuwenhuis"
  - name: "Enric Rodríguez-Carbonell"
    link: "https://researchr.org/alias/enric-rodr%C3%ADguez-carbonell"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.dam.2008.03.016"
  links:
    doi: "http://dx.doi.org/10.1016/j.dam.2008.03.016"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/BezemNR08"
  cites: 0
  citedby: 0
  journal: "DAM"
  volume: "156"
  number: "18"
  pages: "3506-3509"
  kind: "article"
  key: "BezemNR08"
- title: "Acyclic Programs"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  year: "1991"
  researchr: "https://researchr.org/publication/AptB91"
  cites: 0
  citedby: 0
  journal: "ngc"
  volume: "9"
  number: "3/4"
  pages: "335-364"
  kind: "article"
  key: "AptB91"
- title: "Acyclic Programs"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  year: "1990"
  researchr: "https://researchr.org/publication/AptB90"
  cites: 0
  citedby: 0
  pages: "617-633"
  booktitle: "ICLP"
  kind: "inproceedings"
  key: "AptB90"
- title: "Newman s lemma - a case study in proof automation and geometric logic, Logic in Computer Science Column"
  author:
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  - name: "Thierry Coquand"
    link: "https://researchr.org/alias/thierry-coquand"
  year: "2003"
  tags:
  - "case study"
  - "e-science"
  - "logic"
  researchr: "https://researchr.org/publication/BezemC03"
  cites: 0
  citedby: 0
  journal: "eatcs"
  volume: "79"
  pages: "86-100"
  kind: "article"
  key: "BezemC03"
- title: "Computer Science Logic, 10th International Workshop, CSL  96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers"
  year: "1997"
  tags:
  - "e-science"
  - "logic"
  researchr: "https://researchr.org/publication/csl%3A1996"
  cites: 0
  citedby: 0
  booktitle: "Computer Science Logic, 10th International Workshop, CSL  96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers"
  conference: "csl"
  editor:
  - name: "Dirk van Dalen"
    link: "https://researchr.org/alias/dirk-van-dalen"
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  volume: "1258"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63172-0"
  kind: "proceedings"
  key: "csl:1996"
- title: "Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA  93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings"
  year: "1993"
  researchr: "https://researchr.org/publication/tlca%3A1993"
  cites: 0
  citedby: 0
  booktitle: "Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA  93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings"
  conference: "tlca"
  editor:
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  volume: "664"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56517-5"
  kind: "proceedings"
  key: "tlca:1993"