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

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

Bibliographic Details
Published in:	Springer e-books
Main Author:	Futatsugi, Kokichi
Corporate Author:	SpringerLink (Online service)
Other Authors:	Jouannaud, Jean-Pierre, Meseguer, José
Format:	eBook
Language:	English
Published:	Berlin Heidelberg : Springer-Verlag GmbH., 2006
Series:	Lecture Notes in Computer Science,
Subjects:	Computer Science Computer science Electronic data processing Information theory Logic design Computing Methodologies Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematics of Computing Theory of Computation
Online Access:	http://dx.doi.org/10.1007/11780274 Перейти в каталог НБ ТГУ

Similar Items

Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
by: Avron, Arnon
Published: (2008)

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings /
by: Leivant, Daniel
Published: (2007)

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

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by: Hodges, Wilfrid
Published: (2008)

Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings /
by: Hutchison, David
Published: (2009)

Regulated Grammars and Automata
by: Meduna, Alexander, et al.
Published: (2014)

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings
by: Cai, Jin-Yi
Published: (2006)

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings
by: Grigoriev, Dima
Published: (2006)

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
by: Cooper, S. Barry
Published: (2007)

New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
by: Cooper, Barry S.
Published: (2005)

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
by: Beckmann, Arnold
Published: (2006)

Computer Science вЂ" Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings /
by: Diekert, Volker
Published: (2007)

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings /
by: Cai, Jin-Yi
Published: (2007)

Computer Science вЂ" Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings /
by: Hirsch, Edward A.
Published: (2008)

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

Evolvable Hardware
by: Higuchi, Tetsuya
Published: (2006)

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings /
Published: (2013)

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings /
Published: (2014)

People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010 /
by: Lipton, Richard J., et al.
Published: (2013)

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
by: Beckmann, Arnold
Published: (2008)

Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
Published: (2014)

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings /
Published: (2013)

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, XiвЂ™an, China, April 25-29, 2008. Proceedings /
by: Agrawal, Manindra
Published: (2008)

Encyclopedia of Algorithms
by: Kao, Ming-Yang
Published: (2008)

Petri Net Synthesis
by: Badouel, Eric, et al.
Published: (2015)

Introduction to Concurrency Theory Transition Systems and CCS /
by: Gorrieri, Roberto, et al.
Published: (2015)

New Computational Paradigms Changing Conceptions of What is Computable /
by: Cooper, S. Barry
Published: (2008)

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
Published: (2013)

Logics of Specification Languages
by: Bjørner, Dines
Published: (2008)

Linear Genetic Programming
by: Brameier, Markus F.
Published: (2007)

Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods /
by: Nikolaev, Nikolay Y.
Published: (2006)

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Published: (2013)

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies /
by: Reisig, Wolfgang
Published: (2013)

Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems /
by: Wagner, Christian
Published: (2014)

A Modern Perspective on Type Theory From its Origins until Today /
by: Kamareddine, Fairouz
Published: (2005)

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

Unfoldings A Partial-Order Approach to Model Checking /
by: Esparza, Javier
Published: (2008)

Algorithmic Differentiation of Pragma-Defined Parallel Regions Differentiating Computer Programs Containing OpenMP /
by: Förster, Michael
Published: (2014)

Higher-Order Computability
by: Longley, John, et al.
Published: (2015)

The Calculus of Computation Decision Procedures with Applications to Verification /
by: Bradley, Aaron R.
Published: (2007)