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

- view
  authority control:
- export record
  dblp key:
  - conf/wia/PrusaM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/PrusaM12
Daniel Prusa, Frantisek Mráz:
Restarting Tiling Automata. CIAA 2012: 289-300
- view
  authority control:
- export record
  dblp key:
  - conf/wia/ReidenbachS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/ReidenbachS12
Daniel Reidenbach, Markus L. Schmid:
Automata with Modulo Counters and Nondeterministic Counter Bounds. CIAA 2012: 361-368
- view
  authority control:
- export record
  dblp key:
  - conf/wia/ReussS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/ReussS12
Andreas Reuß, Helmut Seidl:
Crossing the Syntactic Barrier: Hom-Disequalities for H₁-Clauses. CIAA 2012: 301-312
- view
  authority control:
- export record
  dblp key:
  - conf/wia/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/2012
Nelma Moreira, Rogério Reis:
Implementation and Application of Automata - 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings. Lecture Notes in Computer Science 7381, Springer 2012, ISBN 978-3-642-31605-0 [contents]