Harald Zankl

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 Friedrich Neurauter

> Home > Persons > Harald Zankl

Publications

2011
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/cai/MiddeldorpMNWZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cai/MiddeldorpMNWZ11
Aart Middeldorp, Georg Moser, Friedrich Neurauter, Johannes Waldmann, Harald Zankl:
Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems. CAI 2011: 1-20
2010
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/NeurauterMZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/NeurauterMZ10
Friedrich Neurauter, Aart Middeldorp, Harald Zankl:
Monotonicity Criteria for Polynomial Interpretations over the Naturals. IJCAR 2010: 502-517
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/NeurauterZM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/NeurauterZM10
Friedrich Neurauter, Harald Zankl, Aart Middeldorp:
Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting. LPAR (Yogyakarta) 2010: 550-564

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.