## Formal Structures for Computation and Deduction (FSCD)

### (brand of FM)

2 × Austria

2 × Brazil

1 × Canada

1 × Denmark

5 × France

2 × Germany

3 × Italy

4 × Japan

3 × Poland

2 × Serbia

3 × Spain

4 × The Netherlands

3 × USA

3 × United Kingdom

Vocabulary:

2 × Brazil

1 × Canada

1 × Denmark

5 × France

2 × Germany

3 × Italy

4 × Japan

3 × Poland

2 × Serbia

3 × Spain

4 × The Netherlands

3 × USA

3 × United Kingdom

Vocabulary:

**1180**words### 1225 papers in 30 issues:

- 2019
- Proceedings of the Fourth International Conference on Formal Structures for Computation and Deduction (FSCD 2019)
- 2018
- Proceedings of the Third International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
- 2017
- Proceedings of the Second International Conference on Formal Structures for Computation and Deduction (FSCD 2017)
- 2016
- Proceedings of the First International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
- 2015
- Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA 2015)
- Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications (TLCA 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)
- Proceedings of the 11th International Conference on Typed Lambda Calculi and Applications (TLCA 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)
- Proceedings of the 10th International Conference on Typed Lambda Calculi and Applications (TLCA 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)
- Proceedings of the Ninth International Conference on Typed Lambda Calculi and Applications (TLCA 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)
- Proceedings of the Eighth International Conference on Typed Lambda Calculi and Applications (TLCA 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)
- Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications (TLCA 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)
- Proceedings of the Sixth International Conference on Typed Lambda Calculi and Applications (TLCA 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)
- Proceedings of the Fifth International Conference on Typed Lambda Calculi and Applications (TLCA 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)
- Proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications (TLCA 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)
- Proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications (TLCA 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)
- Proceedings of the Second International Conference on Typed Lambda Calculi and Applications (TLCA 1995)
- 1993
- Proceedings of the Fifth International Conference on Rewriting Techniques and Applications (RTA 1993)
- Proceedings of the International Conference on Typed Lambda Calculi and Applications (TLCA 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)