publications:
- title: "Molecular dynamics"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S1567-8326(02)00021-8"
  links:
    doi: "http://dx.doi.org/10.1016/S1567-8326(02)00021-8"
  researchr: "https://researchr.org/publication/BergstraB02"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "51"
  number: "2"
  pages: "193-214"
  kind: "article"
  key: "BergstraB02"
- title: "Square root meadows"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  year: "2009"
  doi: "http://arxiv.org/abs/0901.4664"
  links:
    doi: "http://arxiv.org/abs/0901.4664"
  researchr: "https://researchr.org/publication/abs-0901-4664"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0901.4664"
  kind: "article"
  key: "abs-0901-4664"
- title: "Descendants and Origins in Term Rewriting"
  author:
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  - name: "Jan Willem Klop"
    link: "https://researchr.org/alias/jan-willem-klop"
  - name: "Roel C. de Vrijer"
    link: "https://researchr.org/alias/roel-c.-de-vrijer"
  year: "2000"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "C++"
  - "rewriting"
  researchr: "https://researchr.org/publication/BethkeKV00"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "159"
  number: "1-2"
  pages: "59-124"
  kind: "article"
  key: "BethkeKV00"
- title: "Network algebra in Java"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.jlap.2004.03.011"
  links:
    doi: "http://dx.doi.org/10.1016/j.jlap.2004.03.011"
  tags:
  - "Java"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraB05"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "62"
  number: "2"
  pages: "247-271"
  kind: "article"
  key: "BergstraB05"
- 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: "Extending partial combinatory algebras"
  author:
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  - name: "Jan Willem Klop"
    link: "https://researchr.org/alias/jan-willem-klop"
  - name: "Roel C. de Vrijer"
    link: "https://researchr.org/alias/roel-c.-de-vrijer"
  year: "1999"
  tags:
  - "C++"
  - " algebra"
  researchr: "https://researchr.org/publication/BethkeKV99"
  cites: 0
  citedby: 0
  journal: "mscs"
  volume: "9"
  number: "4"
  pages: "483-505"
  kind: "article"
  key: "BethkeKV99"
- title: "Process Algebra with Iteration and Nesting"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "1994"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraBP94"
  cites: 0
  citedby: 0
  journal: "cj"
  volume: "37"
  number: "4"
  pages: "243-258"
  kind: "article"
  key: "BergstraBP94"
- title: "Process Algebra with Combinators"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "1993"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraBP93"
  cites: 0
  citedby: 0
  pages: "36-65"
  booktitle: "csl"
  kind: "inproceedings"
  key: "BergstraBP93"
- title: "Straight-line instruction sequence completeness for total calculation on cancellation meadows"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  year: "2009"
  doi: "http://arxiv.org/abs/0905.4612"
  links:
    doi: "http://arxiv.org/abs/0905.4612"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/abs-0905-4612"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0905.4612"
  kind: "article"
  key: "abs-0905-4612"
- title: "Polarized process algebra with reactive composition"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2005.06.014"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2005.06.014"
  tags:
  - "composition"
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraB05%3A0"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "343"
  number: "3"
  pages: "285-304"
  kind: "article"
  key: "BergstraB05:0"
- title: "Polarized Process Algebra and Program Equivalence"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2719/27190001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2719/27190001.htm"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraB03"
  cites: 0
  citedby: 0
  pages: "1-21"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "BergstraB03"
- title: "Decision problems for pushdown threads"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  - name: "Alban Ponse"
    link: "http://staff.science.uva.nl/~alban/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s00236-007-0040-5"
  links:
    doi: "http://dx.doi.org/10.1007/s00236-007-0040-5"
  researchr: "https://researchr.org/publication/BergstraBP07"
  cites: 0
  citedby: 0
  journal: "ACTA"
  volume: "44"
  number: "2"
  pages: "75-90"
  kind: "article"
  key: "BergstraBP07"
- title: "A propositional logic with 4 values: true, false, divergent and meaningless"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  - name: "Piet Rodenburg"
    link: "https://researchr.org/alias/piet-rodenburg"
  year: "1995"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BergstraBR95"
  cites: 0
  citedby: 0
  journal: "jancl"
  volume: "5"
  number: "2"
  pages: "199-217"
  kind: "article"
  key: "BergstraBR95"
- title: "A process algebra based framework for promise theory"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  - name: "Mark Burgess"
    link: "https://researchr.org/alias/mark-burgess"
  year: "2007"
  doi: "http://arxiv.org/abs/0707.0744"
  links:
    doi: "http://arxiv.org/abs/0707.0744"
  tags:
  - "rule-based"
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/abs-0707-0744"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/0707.0744"
  kind: "article"
  key: "abs-0707-0744"
- title: "An upper bound for the equational specification of finite state services"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Inge Bethke"
    link: "http://staff.science.uva.nl/~inge/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.ipl.2005.02.010"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2005.02.010"
  researchr: "https://researchr.org/publication/BergstraB05%3A1"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "94"
  number: "6"
  pages: "267-269"
  kind: "article"
  key: "BergstraB05:1"