Rewriting Techniques and Applications (RTA)
(brand of FM)2 × Austria
1 × Brazil
1 × Canada
1 × Denmark
3 × France
2 × Germany
2 × Italy
3 × Japan
1 × Poland
1 × Serbia
2 × Spain
2 × The Netherlands
3 × USA
2 × United Kingdom
122 ×#term rewriting
85 ×#proving
83 ×#termination
49 ×#equation
49 ×#higher-order
47 ×#unification
46 ×#named
40 ×#confluence
38 ×#on the
33 ×#λ-calculus
Vocabulary: 870 words
782 papers in 26 issues:
- 2015
Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA 2015)- 2014
- Proceedings of the Joint International Conference of the 25th International Conference on Rewriting Techniques and Applications and the 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA 2014)
- 2013
- Proceedings of the 24th International Conference on Rewriting Techniques and Applications (RTA 2013)
- 2012
- Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012)
- 2011
- Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011)
- 2010
- Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010)
- 2009
- Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009)
- 2008
- Proceedings of the 19th International Conference on Rewriting Techniques and Applications (RTA 2008)
- 2007
- Proceedings of the 18th International Conference on Term Rewriting and Applications (RTA 2007)
- 2006
- Proceedings of the 17th International Conference on Term Rewriting and Applications (RTA 2006)
- 2005
- Proceedings of the 16th International Conference on Term Rewriting and Applications (RTA 2005)
- 2004
- Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004)
- 2003
- Proceedings of the 14th International Conference on Rewriting Techniques and Applications (RTA 2003)
- 2002
- Proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA 2002)
- 2001
- Proceedings of the 12th International Conference on Rewriting Techniques and Applications (RTA 2001)
- 2000
- Proceedings of the 11th International Conference on Rewriting Techniques and Applications (RTA 2000)
- 1999
- Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA 1999)
- 1998
- Proceedings of the Ninth International Conference on Rewriting Techniques and Applications (RTA 1998)
- 1997
- Proceedings of the Eighth International Conference on Rewriting Techniques and Applications (RTA 1997)
- 1996
- Proceedings of the Seventh International Conference on Rewriting Techniques and Applications (RTA 1996)
- 1995
- Proceedings of the Sixth International Conference on Rewriting Techniques and Applications (RTA 1995)
- 1993
- Proceedings of the Fifth International Conference on Rewriting Techniques and Applications (RTA 1993)
- 1991
- Proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA 1991)
- 1989
- Proceedings of the Third International Conference on Rewriting Techniques and Applications (RTA 1989)
- 1987
- Proceedings of the Second International Conference on Rewriting Techniques and Applications (RTA 1987)
- 1985
- Proceedings of the First International Conference on Rewriting Techniques and Applications (RTA 1985)
1 × Brazil
1 × Canada
1 × Denmark
3 × France
2 × Germany
2 × Italy
3 × Japan
1 × Poland
1 × Serbia
2 × Spain
2 × The Netherlands
3 × USA
2 × United Kingdom
122 ×#term rewriting
85 ×#proving
83 ×#termination
49 ×#equation
49 ×#higher-order
47 ×#unification
46 ×#named
40 ×#confluence
38 ×#on the
33 ×#λ-calculus
Vocabulary: 870 words
Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA 2015)Proceedings of the Joint International Conference of the 25th International Conference on Rewriting Techniques and Applications and the 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA 2014)Proceedings of the 24th International Conference on Rewriting Techniques and Applications (RTA 2013)Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012)Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011)Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010)Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009)Proceedings of the 19th International Conference on Rewriting Techniques and Applications (RTA 2008)Proceedings of the 18th International Conference on Term Rewriting and Applications (RTA 2007)Proceedings of the 17th International Conference on Term Rewriting and Applications (RTA 2006)Proceedings of the 16th International Conference on Term Rewriting and Applications (RTA 2005)Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004)Proceedings of the 14th International Conference on Rewriting Techniques and Applications (RTA 2003)Proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA 2002)Proceedings of the 12th International Conference on Rewriting Techniques and Applications (RTA 2001)Proceedings of the 11th International Conference on Rewriting Techniques and Applications (RTA 2000)Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA 1999)Proceedings of the Ninth International Conference on Rewriting Techniques and Applications (RTA 1998)Proceedings of the Eighth International Conference on Rewriting Techniques and Applications (RTA 1997)Proceedings of the Seventh International Conference on Rewriting Techniques and Applications (RTA 1996)Proceedings of the Sixth International Conference on Rewriting Techniques and Applications (RTA 1995)Proceedings of the Fifth International Conference on Rewriting Techniques and Applications (RTA 1993)Proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA 1991)Proceedings of the Third International Conference on Rewriting Techniques and Applications (RTA 1989)Proceedings of the Second International Conference on Rewriting Techniques and Applications (RTA 1987)Proceedings of the First International Conference on Rewriting Techniques and Applications (RTA 1985)