FSCD
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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
FSCDProceedings of the Fourth International Conference on Formal Structures for Computation and Deduction (FSCD 2019)
2018
FSCDProceedings of the Third International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
2017
FSCDProceedings of the Second International Conference on Formal Structures for Computation and Deduction (FSCD 2017)
2016
FSCDProceedings of the First International Conference on Formal Structures for Computation and Deduction (FSCD 2016)
2015
RTAProceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA 2015)
TLCAProceedings of the 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)
2014
RTAProceedings 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
RTAProceedings of the 24th International Conference on Rewriting Techniques and Applications (RTA 2013)
TLCAProceedings of the 11th International Conference on Typed Lambda Calculi and Applications (TLCA 2013)
2012
RTAProceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012)
2011
RTAProceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011)
TLCAProceedings of the 10th International Conference on Typed Lambda Calculi and Applications (TLCA 2011)
2010
RTAProceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010)
2009
RTAProceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009)
TLCAProceedings of the Ninth International Conference on Typed Lambda Calculi and Applications (TLCA 2009)
2008
RTAProceedings of the 19th International Conference on Rewriting Techniques and Applications (RTA 2008)
2007
RTAProceedings of the 18th International Conference on Term Rewriting and Applications (RTA 2007)
TLCAProceedings of the Eighth International Conference on Typed Lambda Calculi and Applications (TLCA 2007)
2006
RTAProceedings of the 17th International Conference on Term Rewriting and Applications (RTA 2006)
2005
RTAProceedings of the 16th International Conference on Term Rewriting and Applications (RTA 2005)
TLCAProceedings of the Seventh International Conference on Typed Lambda Calculi and Applications (TLCA 2005)
2004
RTAProceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004)
2003
RTAProceedings of the 14th International Conference on Rewriting Techniques and Applications (RTA 2003)
TLCAProceedings of the Sixth International Conference on Typed Lambda Calculi and Applications (TLCA 2003)
2002
RTAProceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA 2002)
2001
RTAProceedings of the 12th International Conference on Rewriting Techniques and Applications (RTA 2001)
TLCAProceedings of the Fifth International Conference on Typed Lambda Calculi and Applications (TLCA 2001)
2000
RTAProceedings of the 11th International Conference on Rewriting Techniques and Applications (RTA 2000)
1999
RTAProceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA 1999)
TLCAProceedings of the Fourth International Conference on Typed Lambda Calculi and Applications (TLCA 1999)
1998
RTAProceedings of the Ninth International Conference on Rewriting Techniques and Applications (RTA 1998)
1997
RTAProceedings of the Eighth International Conference on Rewriting Techniques and Applications (RTA 1997)
TLCAProceedings of the Fourth International Conference on Typed Lambda Calculi and Applications (TLCA 1997)
1996
RTAProceedings of the Seventh International Conference on Rewriting Techniques and Applications (RTA 1996)
1995
RTAProceedings of the Sixth International Conference on Rewriting Techniques and Applications (RTA 1995)
TLCAProceedings of the Second International Conference on Typed Lambda Calculi and Applications (TLCA 1995)
1993
RTAProceedings of the Fifth International Conference on Rewriting Techniques and Applications (RTA 1993)
TLCAProceedings of the International Conference on Typed Lambda Calculi and Applications (TLCA 1993)
1991
RTAProceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA 1991)
1989
RTAProceedings of the Third International Conference on Rewriting Techniques and Applications (RTA 1989)
1987
RTAProceedings of the Second International Conference on Rewriting Techniques and Applications (RTA 1987)
1985
RTAProceedings of the First International Conference on Rewriting Techniques and Applications (RTA 1985)

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.