23. RTA 2012:
Nagoya, Japan Ashish Tiwari (Ed.):
23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan.
LIPIcs 15 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012, ISBN 978-3-939897-38-5
export record as
dblp key:
export record as
dblp key:
Hirokazu Anai :
Computational Real Algebraic Geometry in Practice (Invited Talk).
1
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Patrick Bahr :
Infinitary Term Graph Rewriting is Simple, Sound and Complete.
69-84
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jeroen Ketema :
Reinterpreting Compression in Infinitary Rewriting.
209-224
export record as
dblp key:
Alexei Lisitsa :
Finite Models vs Tree Automata in Safety Verification.
225-239
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/rta/Schmidt-Schauss12 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Kazushige Terui :
Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus.
323-338
export record as
dblp key:
data released under the ODC-BY 1.0 license
