RTA - Rewriting Techniques and Applications

Subscribe

Academic

RTA - Rewriting Techniques and Applications

RTA - Rewriting Techniques and Applications

Publications: 702| Citation Count: 6,784 (Self-Citation: 729) |H-Index: 36
Year Range: 1985-2011

Interests: Software Engineering, Programming Languages

Paper submissions due: 9 January 2012, Duration: 28 May - 2 June 2012, Nagoya, Japan

Homepage |

CFP

Cumulative Annual

Order by:

Publications (702)

Higher Order Dependency Pairs for Algebraic Functional Systems (Citations: 1)

Cynthia Kop, Femke van Raamsdonk

Conference: Rewriting Techniques and Applications - RTA , pp. 203-218, 2011
Automated Certified Proofs with CiME3 (Citations: 1)

Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain

Conference: Rewriting Techniques and Applications - RTA , pp. 21-30, 2011
Labelings for Decreasing Diagrams (Citations: 1)

Harald Zankl, Bertram Felgenhauer, Aart Middeldorp

Conference: Rewriting Techniques and Applications - RTA , pp. 377-392, 2011
Rewriting-based Quantifier-free Interpolation for a Theory of Arrays (Citations: 1)

Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise

Conference: Rewriting Techniques and Applications - RTA , pp. 171-186, 2011
CRSX - Combinatory Reduction Systems with Extensions (Citations: 1)

Kristoffer H. Rose

Conference: Rewriting Techniques and Applications - RTA , pp. 81-90, 2011