Fields of logic and computation essays dedicated to Yuri Gurevich on the occasion of his 70th Birthday /

Fields of logic and computation essays dedicated to Yuri Gurevich on the occasion of his 70th Birthday /

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Dershowitz, Nachum, Reisig, Wolfgang, Blass, Andreas
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer 2010.
Series:	Lecture Notes in Computer Science, 6300
Subjects:	Computer science Computer Communication Networks Software engineering Computer software Logic design
Online Access:	Click here to view the full text content
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Logic and program semantics : Essays dedicated to dexter kozen on the occasion of his 60th birthday /
Published: (2012)

Computation, logic, games, and quantum foundations. the many facets of Samson Abramsky : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday /
Published: (2013)

Software service and application engineering : Essays dedicated to bernd krämer on the occasion of his 65th birthday /
Published: (2012)

Graph transformations and model-driven engineering essays dedicated to manfred nagl on the occasion of his 65th birthday /
Published: (2010)

Logic programs, norms and action : Essays in honor of Marek J. Sergot on the occasion of his 60th birthday /
Published: (2012)

Formal methods in software and systems modeling essays dedicated to hartmut ehrig on the occasion of his 60th birthday
Published: (2005)

The multivariate algorithmic revolution and beyond : Essays dedicated to Michael R. fellows on the occasion of his 60th birthday /
Published: (2012)

Conceptual modelling and its theoretical foundations: Essays dedicated to bernhard thalheim on the occasion of his 60th birthday /
Published: (2012)

Logics in computer science : a study on extensions of temporal and strategic logics /
by: Mogavero, Fabio
Published: (2013)

Theoretical computer science 6th IFIP TC 1/WG 2.2 international conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
Published: (2010)

Categories and types in logic, language, and physics : Essays dedicated to Jim Lambek on the occasion of His 90th Birthday /
Published: (2014)

Computational logic in multi-agent systems 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings /
Published: (2010)

Reversible computation : Third international workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers /
Published: (2012)

Computing with new resources : essays dedicated to jozef gruska on the occasion of his 80th birthday /
Published: (2014)

Computer science logic 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Published: (2010)

Specification, algebra, and software : Essays dedicated to Kokichi Futatsugi /
Published: (2014)

Verification, induction, termination analysis festschrift for christoph walther on the occasion of his 60th birthday /
Published: (2010)

Formal methods for mobile computing 5th International School on formal methods for the design of computer, communication, and software systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
by: Bernardo, Marco
Published: (2005)

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings /
Published: (2012)

Theoretical aspects of computing - ICTAC 2004 first international colloquium guiyand, China, September 20-24, 2004, revised selected papers
by: Araki, Keijiro
Published: (2005)

Data management in a connected world essays dedicated to Hartmut Wedekind on the occasion of his 70th Birthday
Published: (2005)

Computation, physics and beyond : international workshop on theoretical computer science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of his 60th birthday, Auckland, New Zealand, February 21-24, 2012, revised selected and invited papers /
by: Dinneen, Michael J.
Published: (2012)

Reversible computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. revised papers /
Published: (2013)

Reversible Computation : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings /
Published: (2013)

Mathematical and engineering methods in computer science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers /
Published: (2012)

Tools and algorithms for the construction and analysis of systems : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal.
by: Grumberg, Orna
Published: (2007)

Tools and algorithms for the construction and analysis of systems (vol. # 3440) 11th international conference, TACAS 2005, held as part of the joint european conference on theory and practice of software, ETAPS 2005, Ed
by: Halbwachs, Nicolas
Published: (2005)

Computational Logic in multi-agent systems 10th international workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, revised selected and invited papers /
Published: (2010)

Foundational and practical aspects of resource analysis first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, revised selected papers /
Published: (2010)

Rewriting logic and its applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
Published: (2014)

Rewriting logic and its applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /
Published: (2012)

Rewriting logic and its applications 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, revised selected papers /
Published: (2010)

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday /
Published: (2013)

Software composition 9th international conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings /
Published: (2010)

Software composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
Published: (2009)

Objects, models, components, patterns 48th international conference, TOOLS 2010, Malaga, Spain, June / July 2010. Proceedings /
Published: (2010)

Automated technology for verification and analysis 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings /
Published: (2010)

Software composition : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /

ECOOP 2012 - Object-oriented programming : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings /
Published: (2012)

ECOOP 2013 - object-oriented programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings /
Published: (2013)