Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(662)
Aart Middeldorp
18
Hans Zantema
14
Deepak Kapur
14
Jürgen Giesl
14
Nachum Dershowitz
11
Jordi Levy
11
Yoshihito Toyama (外山芳人)
11
José Meseguer
11
Vincent Van Oostrom
10
Johannes Waldmann
10
Keywords
(413)
Subscribe
Academic
Conferences
RTA - Rewriting Techniques and Applications
RTA - Rewriting Techniques and Applications
Publications: 702
|
Citation Count: 6,784 (Self-Citation: 729)
|
H-Index: 36Year Range: 1985-2011
Interests:
Software Engineering
,
Programming Languages
Paper submissions due: 9 January 2012, Duration:
28 May - 2 June 2012, Nagoya, Japan
Homepage
|
CFP
The information isn't correct? You can
edit it
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