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: "ACM Transactions on Programming Languages and Systems"
  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: "Mathematical Methods of Specification and Synthesis of Software Systems  85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985"
  editor:
  - name: "Wolfgang Bibel"
    link: "https://researchr.org/alias/wolfgang-bibel"
  - name: "Klaus P. Jantke"
    link: "https://researchr.org/alias/klaus-p.-jantke"
  volume: "215"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-16444-8"
  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: "Journal of Symbolic Logic"
  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: "Elektronische Informationsverarbeitung und Kybernetik"
  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: "Comput. J."
  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: "Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings"
  editor:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "354"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51080-X"
  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: "Theoretical Computer Science"
  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: "Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June  16-18, 1993, Proceedings"
  editor:
  - name: "Claude Kirchner"
    link: "http://www.loria.fr/~ckirchne/"
  volume: "690"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56868-9"
  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: "Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings"
  editor:
  - name: "Josep Díaz"
    link: "https://researchr.org/alias/josep-d%C3%ADaz"
  volume: "154"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-12317-2"
  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: "Theoretical Computer Science"
  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: "SIAM Journal on Computing"
  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: "Journal of Symbolic Computation"
  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: "Theoretical Computer Science"
  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: "Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France"
  publisher: "IEEE Computer Society"
  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: "Theoretical Computer Science"
  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: "Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984"
  editor:
  - name: "Stephen D. Brookes"
    link: "https://researchr.org/alias/stephen-d.-brookes"
  - name: "A. W. Roscoe"
    link: "https://researchr.org/alias/a.-w.-roscoe"
  - name: "Glynn Winskel"
    link: "https://researchr.org/alias/glynn-winskel"
  volume: "197"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-15670-4"
  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: "Journal of the ACM"
  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: "Theoretical Computer Science"
  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: "Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings"
  editor:
  - name: "Jan Paredaens"
    link: "https://researchr.org/alias/jan-paredaens"
  volume: "172"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-13345-3"
  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: "Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings"
  editor:
  - name: "Edmund M. Clarke"
    link: "https://researchr.org/alias/edmund-m.-clarke"
  - name: "Dexter Kozen"
    link: "https://researchr.org/alias/dexter-kozen"
  volume: "164"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-12896-4"
  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: "Theoretical Aspects of Computer Software, International Conference TACS  94, Sendai, Japan, April 19-22, 1994, Proceedings"
  editor:
  - name: "Masami Hagiya"
    link: "https://researchr.org/alias/masami-hagiya"
  - name: "John C. Mitchell"
    link: "https://researchr.org/alias/john-c.-mitchell"
  volume: "789"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57887-0"
  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: "Theoretical Computer Science"
  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 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings"
  editor:
  - name: "Christel Baier"
    link: "https://researchr.org/alias/christel-baier"
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  volume: "4137"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-37376-4"
  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: "Theoretical Computer Science"
  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: "Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]"
  editor:
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  volume: "394"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51698-0"
  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: "Journal of Logic and Computation"
  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: "Inf. Comput."
  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: "Rewriting Techniques and Applications, 2nd International Conference, RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings"
  editor:
  - name: "Pierre Lescanne"
    link: "https://researchr.org/alias/pierre-lescanne"
  volume: "256"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-17220-3"
  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: "Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings"
  editor:
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Erik Meineche Schmidt"
    link: "https://researchr.org/alias/erik-meineche-schmidt"
  volume: "140"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-11576-5"
  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: "Fundamentals of Computation Theory, 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings"
  editor:
  - name: "Erzsébet Csuhaj-Varjú"
    link: "https://researchr.org/alias/erzs%C3%A9bet-csuhaj-varj%C3%BA"
  - name: "Zoltán Ésik"
    link: "https://researchr.org/alias/zolt%C3%A1n-%C3%A9sik"
  volume: "4639"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74239-5"
  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: "Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA  95, Paderborn, Germany, September 21-22, 1995, Selected Papers"
  editor:
  - name: "Gilles Dowek"
    link: "https://researchr.org/alias/gilles-dowek"
  - name: "Jan Heering"
    link: "http://homepages.cwi.nl/~jan/"
  - name: "Karl Meinke"
    link: "https://researchr.org/alias/karl-meinke"
  - name: "Bernhard Möller"
    link: "https://researchr.org/alias/bernhard-m%C3%B6ller"
  volume: "1074"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61254-8"
  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: "Logics of Programs, Workshop, Yorktown Heights, New York, May 1981"
  editor:
  - name: "Dexter Kozen"
    link: "https://researchr.org/alias/dexter-kozen"
  volume: "131"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-11212-X"
  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: "International Conference on Rewriting Techniques and Applications"
  editor:
  - name: "Ronald V. Book"
    link: "https://researchr.org/alias/ronald-v.-book"
  volume: "488"
  series: "Lecture Notes in Computer Science"
  address: "Como, Italy"
  publisher: "Springer"
  isbn: "3-540-53904-2"
  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: "J. Comput. Syst. Sci."
  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: "Elektronische Informationsverarbeitung und Kybernetik"
  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: "Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, July 16-20, 1990, Proceedings"
  editor:
  - name: "Mike Paterson"
    link: "https://researchr.org/alias/mike-paterson"
  volume: "443"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-52826-1"
  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: "International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings"
  editor:
  - name: "Mariangiola Dezani-Ciancaglini"
    link: "https://researchr.org/alias/mariangiola-dezani-ciancaglini"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  volume: "137"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-11494-7"
  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: "Journal of the ACM"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Theoretical Computer Science"
  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, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings"
  editor:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "A. J. Nijman"
    link: "https://researchr.org/alias/a.-j.-nijman"
  - name: "Philip C. Treleaven"
    link: "https://researchr.org/alias/philip-c.-treleaven"
  volume: "259"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-17945-3"
  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: "Inf. Comput."
  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 for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers"
  editor:
  - name: "Stefano Berardi"
    link: "https://researchr.org/alias/stefano-berardi"
  - name: "Ferruccio Damiani"
    link: "https://researchr.org/alias/ferruccio-damiani"
  - name: "Ugo de Liguoro"
    link: "https://researchr.org/alias/ugo-de-liguoro"
  volume: "5497"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02443-6"
  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: "Theoretical Computer Science"
  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: "Inf. Comput."
  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: "Theoretical Computer Science"
  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: "Theoretical Computer Science"
  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: "Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings"
  editor:
  - name: "Stéphane Kaplan"
    link: "https://researchr.org/alias/st%C3%A9phane-kaplan"
  - name: "Mitsuhiro Okada"
    link: "https://researchr.org/alias/mitsuhiro-okada"
  volume: "516"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54317-1"
  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"