Aart Middeldorp

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Bertram Felgenhauer

> Home > Persons > Aart Middeldorp

Publications

2021
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/LochmannMMF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/LochmannMMF21
Alexander Lochmann, Aart Middeldorp, Fabian Mitterwallner, Bertram Felgenhauer:
A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems. CPP 2021: 250-263
[c94]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/MitterwallnerLM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/MitterwallnerLM21
Fabian Mitterwallner, Alexander Lochmann, Aart Middeldorp, Bertram Felgenhauer:
Certifying Proofs in the First-Order Theory of Rewriting. TACAS (2) 2021: 127-144
2019
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/FelgenhauerMPR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/FelgenhauerMPR19
Bertram Felgenhauer, Aart Middeldorp, T. V. H. Prathamesh, Franziska Rapp:
A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL. CPP 2019: 132-143
2017
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/NageleFM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/NageleFM17
Julian Nagele, Bertram Felgenhauer, Aart Middeldorp:
CSI: New Evidence - A Progress Report. CADE 2017: 385-397
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/FelgenhauerM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/FelgenhauerM17
Bertram Felgenhauer, Aart Middeldorp:
Constructing Cycles in the Simplex Method for DPLL(T). ICTAC 2017: 213-228
2015
[j34]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jar/ZanklFM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ZanklFM15
Harald Zankl, Bertram Felgenhauer, Aart Middeldorp:
Labelings for Decreasing Diagrams. J. Autom. Reason. 54(2): 101-133 (2015)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/FelgenhauerMZO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/FelgenhauerMZO15
Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, Vincent van Oostrom:
Layer Systems for Proving Confluence. ACM Trans. Comput. Log. 16(2): 14:1-14:32 (2015)
[c76]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rta/NageleFM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/NageleFM15
Julian Nagele, Bertram Felgenhauer, Aart Middeldorp:
Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules. RTA 2015: 257-268
2014
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/FelgenhauerMZO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FelgenhauerMZO14
Bertram Felgenhauer, Aart Middeldorp, Harald Zankl, Vincent van Oostrom:
Layer Systems for Proving Confluence. CoRR abs/1404.1225 (2014)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ZanklFM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ZanklFM14
Harald Zankl, Bertram Felgenhauer, Aart Middeldorp:
Labelings for Decreasing Diagrams. CoRR abs/1406.3139 (2014)
2011
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ZanklFM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ZanklFM11
Harald Zankl, Bertram Felgenhauer, Aart Middeldorp:
CSI - A Confluence Tool. CADE 2011: 499-505
[c64]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/FelgenhauerZM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/FelgenhauerZM11
Bertram Felgenhauer, Harald Zankl, Aart Middeldorp:
Layer Systems for Proving Confluence. FSTTCS 2011: 288-299
[c62]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rta/ZanklFM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/ZanklFM11
Harald Zankl, Bertram Felgenhauer, Aart Middeldorp:
Labelings for Decreasing Diagrams. RTA 2011: 377-392

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.