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