18. RTA 2007:
Paris, France Franz Baader (Ed.):
Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings.
Lecture Notes in Computer Science 4533 Springer 2007, ISBN 978-3-540-73447-5
export record as
dblp key:
Xavier Leroy :
Formal Verification of an Optimizing Compiler.
1
export record as
dblp key:
conf/rta/NieuwenhuisORR07 export record as
dblp key:
Frank Pfenning :
On a Logical Foundation for Explicit Substitutions.
19
export record as
dblp key:
conf/rta/AnantharamanNR07 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:
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:
Mark Hills ,
Grigore Rosu :
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis.
246-256
export record as
dblp key:
Kentaro Kikuchi :
Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi.
257-272
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:
conf/rta/Schmidt-Schauss07 export record as
dblp key:
export record as
dblp key:
Makoto Tatsuta :
The Maximum Length of Mu-Reduction in Lambda Mu-Calculus.
359-373
export record as
dblp key:
Lionel Vaux :
On Linear Combinations of lambda -Terms.
374-388
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
