Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari.

This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully re...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Corradini, Andrea (Editor), Montanari, Ugo (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edition:	1st ed. 2009.
Series:	Theoretical Computer Science and General Issues ; 5486 Springer eBook Collection.
Subjects:	Computer logic. Mathematical logic. Computer science—Mathematics. Computers. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Published: (2013)

Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Published: (2012)

Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
Published: (2003)

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Published: (2015)

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
Published: (2005)

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Published: (2007)

Recent Trends in Algebraic Development Techniques 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers
Published: (2002)

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Published: (2017)

Recent Trends in Algebraic Development Techniques 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers
Published: (1998)

Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
Published: (2019)

Recent Trends in Algebraic Development Techniques 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers
Published: (1999)

Recent Trends in Algebraic Development Techniques 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
Published: (2000)

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
Published: (2008)

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings
Published: (2008)

Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers
Published: (2008)

Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Published: (2009)

Fork Algebras in Algebra, Logic and Computer Science.
by: Frias, Marcelo Fabián
Published: (2002)

Algebraic Informatics Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers
Published: (2007)

Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
Published: (2009)

Algebraic Informatics 3rd International Conference on Algebraic Informatics, CAI 2009, Thessaloniki, Greece, Mai 19-22, 2009
Published: (2009)

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings
Published: (2008)

Developments in Language Theory 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings
Published: (2008)

Recent trends on type-2 fuzzy logic systems : theory, methodology and applications
Published: (2023)

Higher-Order Algebra, Logic, and Term Rewriting Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
Published: (1996)

Developments in Language Theory 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers
Published: (2003)

Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Published: (2011)

Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
Published: (2009)

Recent trends in algebraic development techniques : 25th international workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers
Published: (2021)

Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA June 1–4, 1988 Proceedings
Published: (1990)

Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings
Published: (2011)

Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
Published: (2005)

Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings
Published: (2011)

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
Published: (2005)

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
Published: (2008)

Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers
Published: (2011)

Rewriting Techniques and Applications 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings
Published: (1993)

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
Published: (2006)

Rewriting Techniques and Applications 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
Published: (2009)

Recent trends in algebraic development techniques : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, revised selected papers
Published: (2023)

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Published: (2006)