publications:
- title: "On the Adequacy of Graph Rewriting for Simulating Term Rewriting"
  author:
  - name: "Richard Kennaway"
    link: "https://researchr.org/alias/richard-kennaway"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "M. Ronan Sleep"
    link: "https://researchr.org/alias/m.-ronan-sleep"
  - name: "Fer-Jan de Vries"
    link: "https://researchr.org/alias/fer-jan-de-vries"
  year: "1994"
  doi: "http://doi.acm.org/10.1145/177492.177577"
  links:
    doi: "http://doi.acm.org/10.1145/177492.177577"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/KennawayKSV94"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "16"
  number: "3"
  pages: "493-523"
  kind: "article"
  key: "KennawayKSV94"
- title: "Verification of an alternating bit protocol by means of process algebra"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1985"
  tags:
  - "protocol"
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraK85%3A0"
  cites: 0
  citedby: 0
  pages: "9-23"
  booktitle: "aii"
  kind: "inproceedings"
  key: "BergstraK85:0"
- title: "Degrees of Sensible Lambda Theories"
  author:
  - name: "Henk Barendregt"
    link: "https://researchr.org/alias/henk-barendregt"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "Henri Volken"
    link: "https://researchr.org/alias/henri-volken"
  year: "1978"
  researchr: "https://researchr.org/publication/BarendregtBKV78"
  cites: 0
  citedby: 0
  journal: "JSYML"
  volume: "43"
  number: "1"
  pages: "45-55"
  kind: "article"
  key: "BarendregtBKV78"
- title: "Strong Normalization and Perpetual Reductions in the Lambda Calculus"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1982"
  researchr: "https://researchr.org/publication/BergstraK82"
  cites: 0
  citedby: 0
  journal: "eik"
  volume: "18"
  number: "7/8"
  pages: "403-417"
  kind: "article"
  key: "BergstraK82"
- title: "Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1987"
  tags:
  - "semantics"
  - "process algebra"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BaetenBK87%3A2"
  cites: 0
  citedby: 0
  journal: "cj"
  volume: "30"
  number: "6"
  pages: "498-506"
  kind: "article"
  key: "BaetenBK87:2"
- title: "Process theory based on bisimulation semantics"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1988"
  tags:
  - "semantics"
  - "rule-based"
  researchr: "https://researchr.org/publication/BergstraK88"
  cites: 0
  citedby: 0
  pages: "50-122"
  booktitle: "rex"
  kind: "inproceedings"
  key: "BergstraK88"
- title: "Infinitary Lambda Calculus"
  author:
  - name: "Richard Kennaway"
    link: "https://researchr.org/alias/richard-kennaway"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "M. Ronan Sleep"
    link: "https://researchr.org/alias/m.-ronan-sleep"
  - name: "Fer-Jan de Vries"
    link: "https://researchr.org/alias/fer-jan-de-vries"
  year: "1997"
  doi: "http://dx.doi.org/10.1016/S0304-3975(96)00171-5"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(96)00171-5"
  researchr: "https://researchr.org/publication/KennawayKSV97"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "175"
  number: "1"
  pages: "93-125"
  kind: "article"
  key: "KennawayKSV97"
- title: "More Problems in Rewriting"
  author:
  - name: "Nachum Dershowitz"
    link: "https://researchr.org/alias/nachum-dershowitz"
  - name: "Jean-Pierre Jouannaud"
    link: "https://researchr.org/alias/jean-pierre-jouannaud"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1993"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/DershowitzJK93"
  cites: 0
  citedby: 0
  pages: "468-487"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "DershowitzJK93"
- title: "Linear Time and Branching Time Semantics for Recursion with Merge"
  author:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "1983"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/BakkerBKM83"
  cites: 0
  citedby: 0
  pages: "39-51"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "BakkerBKM83"
- title: "Term-Rewriting Systems with Rule Priorities"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "W. P. Weijland"
    link: "https://researchr.org/alias/w.-p.-weijland"
  year: "1989"
  tags:
  - "rule-based"
  - "term rewriting"
  - "graph-rewriting"
  - "rules"
  - "C++"
  - "rewriting"
  researchr: "https://researchr.org/publication/BaetenBKW89"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "67"
  number: "2&3"
  pages: "283-301"
  kind: "article"
  key: "BaetenBKW89"
- title: "Readies and Failures in the Algebra of Communicating Processes"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "Ernst-Rüdiger Olderog"
    link: "https://researchr.org/alias/ernst-r%C3%BCdiger-olderog"
  year: "1988"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraKO88"
  cites: 0
  citedby: 0
  journal: "SICOMP"
  volume: "17"
  number: "6"
  pages: "1134-1177"
  kind: "article"
  key: "BergstraKO88"
- title: "Sequentiality in Orthogonal Term Rewriting Systems"
  author:
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "Aart Middeldorp"
    link: "http://cl-informatik.uibk.ac.at/~ami/"
  year: "1991"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/KlopM91"
  cites: 0
  citedby: 0
  journal: "JSC"
  volume: "12"
  number: "2"
  pages: "161-196"
  kind: "article"
  key: "KlopM91"
- title: "Lambda calculus with patterns"
  author:
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "Vincent van Oostrom"
    link: "https://researchr.org/alias/vincent-van-oostrom"
  - name: "Roel C. de Vrijer"
    link: "https://researchr.org/alias/roel-c.-de-vrijer"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.tcs.2008.01.019"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2008.01.019"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/KlopOV08"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "398"
  number: "1-3"
  pages: "16-31"
  kind: "article"
  key: "KlopOV08"
- title: "Cyclic Lambda Graph Rewriting"
  author:
  - name: "Zena M. Ariola"
    link: "https://researchr.org/alias/zena-m.-ariola"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1994"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AriolaK94"
  cites: 0
  citedby: 0
  pages: "416-425"
  booktitle: "lics"
  kind: "inproceedings"
  key: "AriolaK94"
- title: "An Analysis of Loop Checking Mechanisms for Logic Programs"
  author:
  - name: "Roland N. Bol"
    link: "https://researchr.org/alias/roland-n.-bol"
  - name: "Krzysztof R. Apt"
    link: "https://researchr.org/alias/krzysztof-r.-apt"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1991"
  tags:
  - "program analysis"
  - "analysis"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/BolAK91"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "86"
  number: "1"
  pages: "35-79"
  kind: "article"
  key: "BolAK91"
- title: "Process Algebra with Asynchronous Communication Mechanisms"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1984"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraKT84"
  cites: 0
  citedby: 0
  pages: "76-95"
  booktitle: "concur"
  kind: "inproceedings"
  key: "BergstraKT84"
- title: "Termination for Direct Sums of Left-Linear Complete Term Rewriting Systems"
  author:
  - name: "Yoshihito Toyama"
    link: "https://researchr.org/alias/yoshihito-toyama"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "Hendrik Pieter Barendregt"
    link: "https://researchr.org/alias/hendrik-pieter-barendregt"
  year: "1995"
  doi: "http://doi.acm.org/10.1145/227683.227689"
  links:
    doi: "http://doi.acm.org/10.1145/227683.227689"
  tags:
  - "completeness"
  - "term rewriting"
  - "termination"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/ToyamaKB95"
  cites: 0
  citedby: 0
  journal: "JACM"
  volume: "42"
  number: "6"
  pages: "1275-1304"
  kind: "article"
  key: "ToyamaKB95"
- title: "Combinatory Reduction Systems: Introduction and Survey"
  author:
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "Vincent van Oostrom"
    link: "https://researchr.org/alias/vincent-van-oostrom"
  - name: "Femke van Raamsdonk"
    link: "https://researchr.org/alias/femke-van-raamsdonk"
  year: "1993"
  tags:
  - "survey"
  researchr: "https://researchr.org/publication/KlopOR93"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "121"
  number: "1&2"
  pages: "279-308"
  kind: "article"
  key: "KlopOR93"
- title: "The Algebra of Recursively Defined Processes and the Algebra of Regular Processes"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1984"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraK84%3A1"
  cites: 0
  citedby: 0
  pages: "82-94"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "BergstraK84:1"
- title: "Algebraic Tools for System Construction"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "J. V. Tucker"
    link: "https://researchr.org/alias/j.-v.-tucker"
  year: "1983"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraKT83"
  cites: 0
  citedby: 0
  pages: "34-44"
  booktitle: "lop"
  kind: "inproceedings"
  key: "BergstraKT83"
- title: "Syntactic Definitions of Undefined: On Defining the Undefined"
  author:
  - name: "Zena M. Ariola"
    link: "https://researchr.org/alias/zena-m.-ariola"
  - name: "Richard Kennaway"
    link: "https://researchr.org/alias/richard-kennaway"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "M. Ronan Sleep"
    link: "https://researchr.org/alias/m.-ronan-sleep"
  - name: "Fer-Jan de Vries"
    link: "https://researchr.org/alias/fer-jan-de-vries"
  year: "1994"
  researchr: "https://researchr.org/publication/AriolaKKSV94"
  cites: 0
  citedby: 0
  pages: "543-554"
  booktitle: "tacs"
  kind: "inproceedings"
  key: "AriolaKKSV94"
- title: "Invertible Terms in the Lambda Calculus"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1980"
  researchr: "https://researchr.org/publication/BergstraK80"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "11"
  pages: "19-37"
  kind: "article"
  key: "BergstraK80"
- title: "Completing Partial Combinatory Algebras With Unique Head-Normal Forms"
  author:
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "Roel C. de Vrijer"
    link: "https://researchr.org/alias/roel-c.-de-vrijer"
  year: "1996"
  tags:
  - "completeness"
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BethkeKV96"
  cites: 0
  citedby: 0
  pages: "448-454"
  booktitle: "lics"
  kind: "inproceedings"
  key: "BethkeKV96"
- title: "Some Remarks on Definability of Process Graphs"
  author:
  - name: "Clemens Grabmayer"
    link: "https://researchr.org/alias/clemens-grabmayer"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11817949_2"
  links:
    doi: "http://dx.doi.org/10.1007/11817949_2"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/GrabmayerKL06%3A0"
  cites: 0
  citedby: 0
  pages: "16-36"
  booktitle: "concur"
  kind: "inproceedings"
  key: "GrabmayerKL06:0"
- title: "Church-Rosser Strategies in the Lambda Calculus"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1979"
  researchr: "https://researchr.org/publication/BergstraK79"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "9"
  pages: "27-38"
  kind: "article"
  key: "BergstraK79"
- title: "ACT::tau::: A Universal Axiom System for Process Specification"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1987"
  researchr: "https://researchr.org/publication/BergstraK87"
  cites: 0
  citedby: 0
  pages: "447-463"
  booktitle: "am"
  kind: "inproceedings"
  key: "BergstraK87"
- title: "A geometric proof of confluence by decreasing diagrams"
  author:
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "Vincent van Oostrom"
    link: "https://researchr.org/alias/vincent-van-oostrom"
  - name: "Roel C. de Vrijer"
    link: "https://researchr.org/alias/roel-c.-de-vrijer"
  year: "2000"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/KlopOV00"
  cites: 0
  citedby: 0
  journal: "logcom"
  volume: "10"
  number: "3"
  pages: "437-460"
  kind: "article"
  key: "KlopOV00"
- title: "Lambda Calculus with Explicit Recursion"
  author:
  - name: "Zena M. Ariola"
    link: "https://researchr.org/alias/zena-m.-ariola"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1997"
  researchr: "https://researchr.org/publication/AriolaK97"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "139"
  number: "2"
  pages: "154-233"
  kind: "article"
  key: "AriolaK97"
- title: "Term Rewriting Systems with Priorities"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1987"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "C++"
  - "rewriting"
  researchr: "https://researchr.org/publication/BaetenBK87%3A1"
  cites: 0
  citedby: 0
  pages: "83-94"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "BaetenBK87:1"
- title: "Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1982"
  tags:
  - "data-flow"
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraK82%3A0"
  cites: 0
  citedby: 0
  pages: "23-34"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "BergstraK82:0"
- title: "Productivity of Stream Definitions"
  author:
  - name: "Jörg Endrullis"
    link: "https://researchr.org/alias/j%C3%B6rg-endrullis"
  - name: "Clemens Grabmayer"
    link: "https://researchr.org/alias/clemens-grabmayer"
  - name: "Dimitri Hendriks"
    link: "https://researchr.org/alias/dimitri-hendriks"
  - name: "Ariya Isihara"
    link: "https://researchr.org/alias/ariya-isihara"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74240-1_24"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74240-1_24"
  researchr: "https://researchr.org/publication/EndrullisGHIK07"
  cites: 0
  citedby: 0
  pages: "274-287"
  booktitle: "fct"
  kind: "inproceedings"
  key: "EndrullisGHIK07"
- title: "Term Graph Rewriting"
  author:
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1995"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Klop95"
  cites: 0
  citedby: 0
  pages: "1-16"
  booktitle: "hoa"
  kind: "inproceedings"
  key: "Klop95"
- title: "Correctness of Programs with Function Procedures"
  author:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "1981"
  researchr: "https://researchr.org/publication/BakkerKM81"
  cites: 0
  citedby: 0
  pages: "94-112"
  booktitle: "lop"
  kind: "inproceedings"
  key: "BakkerKM81"
- title: "Open Problems in Rewriting"
  author:
  - name: "Nachum Dershowitz"
    link: "https://researchr.org/alias/nachum-dershowitz"
  - name: "Jean-Pierre Jouannaud"
    link: "https://researchr.org/alias/jean-pierre-jouannaud"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1991"
  tags:
  - "source-to-source"
  - "graph-rewriting"
  - "rewriting"
  - "open-source"
  researchr: "https://researchr.org/publication/DershowitzJK91"
  cites: 0
  citedby: 0
  pages: "445-456"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "DershowitzJK91"
- title: "Conditional Rewrite Rules: Confluence and Termination"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1986"
  tags:
  - "rule-based"
  - "termination"
  - "graph-rewriting"
  - "rules"
  - "rewriting"
  researchr: "https://researchr.org/publication/BergstraK86"
  cites: 0
  citedby: 0
  journal: "jcss"
  volume: "32"
  number: "3"
  pages: "323-362"
  kind: "article"
  key: "BergstraK86"
- title: "Initial Algebra Specifications for Parametrized Data Types"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1983"
  tags:
  - "data-flow"
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraK83"
  cites: 0
  citedby: 0
  journal: "eik"
  volume: "19"
  number: "1/2"
  pages: "17-31"
  kind: "article"
  key: "BergstraK83"
- title: "Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond"
  author:
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1990"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Klop90"
  cites: 0
  citedby: 0
  pages: "350-369"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "Klop90"
- title: "A formalized proof system for total correctness of while programs"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1982"
  researchr: "https://researchr.org/publication/BergstraK82%3A1"
  cites: 0
  citedby: 0
  pages: "26-36"
  booktitle: "programm"
  kind: "inproceedings"
  key: "BergstraK82:1"
- title: "Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1993"
  doi: "http://doi.acm.org/10.1145/174130.174141"
  links:
    doi: "http://doi.acm.org/10.1145/174130.174141"
  tags:
  - "C++"
  - "context-aware"
  researchr: "https://researchr.org/publication/BaetenBK93"
  cites: 0
  citedby: 0
  journal: "JACM"
  volume: "40"
  number: "3"
  pages: "653-682"
  kind: "article"
  key: "BaetenBK93"
- title: "Vicious Circles in Orthogonal Term Rewriting Systems"
  author:
  - name: "Jeroen Ketema"
    link: "https://researchr.org/alias/jeroen-ketema"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "Vincent van Oostrom"
    link: "https://researchr.org/alias/vincent-van-oostrom"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.020"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.020"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/KetemaKO05"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "124"
  number: "2"
  pages: "65-77"
  kind: "article"
  key: "KetemaKO05"
- title: "Proving Program Inclusion Using Hoare s Logic"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1984"
  tags:
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/BergstraK84"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "30"
  pages: "1-48"
  kind: "article"
  key: "BergstraK84"
- title: "Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1987"
  tags:
  - "C++"
  - "context-aware"
  researchr: "https://researchr.org/publication/BaetenBK87%3A0"
  cites: 0
  citedby: 0
  pages: "94-111"
  booktitle: "parle"
  kind: "inproceedings"
  key: "BaetenBK87:0"
- title: "Unique Normal Forms for Lambda Calculus with Surjective Pairing"
  author:
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "Roel C. de Vrijer"
    link: "https://researchr.org/alias/roel-c.-de-vrijer"
  year: "1989"
  month: "February"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/KlopV89"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "80"
  number: "2"
  pages: "97-113"
  kind: "article"
  key: "KlopV89"
- title: "Proving Infinitary Normalization"
  author:
  - name: "Jörg Endrullis"
    link: "https://researchr.org/alias/j%C3%B6rg-endrullis"
  - name: "Clemens Grabmayer"
    link: "https://researchr.org/alias/clemens-grabmayer"
  - name: "Dimitri Hendriks"
    link: "https://researchr.org/alias/dimitri-hendriks"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "Roel C. de Vrijer"
    link: "https://researchr.org/alias/roel-c.-de-vrijer"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-02444-3_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02444-3_5"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/EndrullisGHKV08"
  cites: 0
  citedby: 0
  pages: "64-82"
  booktitle: "TYPES"
  kind: "inproceedings"
  key: "EndrullisGHKV08"
- title: "On the Consistency of Koomen s Fair Abstraction Rule"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1987"
  tags:
  - "rule-based"
  - "rules"
  - "C++"
  - "consistency"
  - "abstraction"
  researchr: "https://researchr.org/publication/BaetenBK87"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "51"
  pages: "129-176"
  kind: "article"
  key: "BaetenBK87"
- title: "Process Algebra for Synchronous Communication"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1984"
  month: "January/February/March"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraK84%3A0"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "60"
  number: "1-3"
  pages: "109-137"
  kind: "article"
  key: "BergstraK84:0"
- title: "Algebra of Communicating Processes with Abstraction"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1985"
  tags:
  - "process algebra"
  - " algebra"
  - "abstraction"
  researchr: "https://researchr.org/publication/BergstraK85"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "37"
  pages: "77-121"
  kind: "article"
  key: "BergstraK85"
- title: "Linear Time and Branching Time Semantics for Recursion with Merge"
  author:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "1984"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/BakkerBKM84"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "34"
  pages: "135-156"
  kind: "article"
  key: "BakkerBKM84"
- title: "Extended Term Rewriting Systems"
  author:
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  - name: "Roel C. de Vrijer"
    link: "https://researchr.org/alias/roel-c.-de-vrijer"
  year: "1990"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "C++"
  - "rewriting"
  researchr: "https://researchr.org/publication/KlopV90"
  cites: 0
  citedby: 0
  pages: "26-50"
  booktitle: "ctrs"
  kind: "inproceedings"
  key: "KlopV90"
- title: "On the Safe Termination of PROLOG Programs"
  author:
  - name: "Krzysztof R. Apt"
    link: "http://homepages.cwi.nl/~apt/"
  - name: "Roland N. Bol"
    link: "https://researchr.org/alias/roland-n.-bol"
  - name: "Jan Willem Klop"
    link: "http://www.few.vu.nl/~jwk/"
  year: "1989"
  tags:
  - "Prolog"
  - "termination"
  researchr: "https://researchr.org/publication/AptBK89"
  cites: 0
  citedby: 0
  pages: "353-368"
  booktitle: "ICLP"
  kind: "inproceedings"
  key: "AptBK89"