Theory Is Forever : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /

Theory Is Forever : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /

Saved in:

Bibliographic Details
Author / Creator:	Karhumäki, Juhani.
Imprint:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 3113
Subject:	Computational complexity Computer science Electronic data processing Logic design
Format:	E-Resource
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/7354387

Hidden Bibliographic Details
Other authors / contributors:	Maurer, Hermann. Păun, Gheorghe. Rozenberg, Grzegorz. SpringerLink (Online service)
ISBN:	9783540223931

Similar Items

Theory Is Forever : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday /
by: Karhumäki, Juhani, 1949-
Published: (2004)

Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday /
Published: (2004)

Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994. Proceedings /
by: Karhum�ki, Juhani
Published: (1994)

Big data integration theory : theory and methods of database mappings, programming languages, and semantics /
by: Majkić, Zoran
Published: (2014)

Big data integration theory : theory and methods of database mappings, programming languages, and semantics /
by: Majkić, Zoran
Published: (2014)

LATIN 2004: Theoretical Informatics : 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings /
by: Farach-Colton, Martin
Published: (2004)

Computing in Object-Oriented Parallel Environments : Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999 Proceedings /
by: Matsuoka, Satoshi
Published: (1999)

Algebraic and algorithmic aspects of differential and integral operators : 5th International Meeting, AADIOS 2012, held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012 : selected and invited papers /
Published: (2014)

Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings /
by: Karhum�ki, Juhani (Juliani)
Published: (1994)

Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings /
Published: (2014)

Developments in Language Theory : 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings /
by: Esik, Zoltán
Published: (2003)

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

Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 20 /
by: Berghammer, R.
Published: (2004)

STACS 2004 : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings /
by: Diekert, Volker
Published: (2004)

Theoretical Computer Science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings /
by: Blundo, Carlo
Published: (2003)

Symbolic and Numerical Scientific Computation : Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers /
Published: (2003)

Mathematical Foundations of Computer Science 2004 : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings /
by: Fiala, Jiří
Published: (2004)

Logic versus Approximation : Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday /
by: Lenski, Wolfgang
Published: (2004)

Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings /
by: Ehrig, Hartmut
Published: (2004)

Applications of Graph Transformations with Industrial Relevance : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers /
by: Pfaltz, John L.
Published: (2004)

Computer-aided verification of coordinating processes : the automata-theoretic approach /
by: Kurshan, R. P., 1943-
Published: (1994)

Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings /
by: Kirchner, H. (Hélène)
Published: (1996)

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science : 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings /
by: Pandya, Paritosh K.
Published: (2003)

Application and Theory of Petri Nets 1996 : 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings /
by: Billington, Jonathan
Published: (1996)

Developments in language theory : 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019 : proceedings /
Published: (2019)

Computer-aided verification of coordinating processes : the automata-theoretic approach /
by: Kurshan, R. P., 1943-
Published: (1995)

Graph Transformation : First International Conference, ICGT 2002 Barcelona, Spain, October 712, 2002 Proceedings /
Published: (2002)

Associative Digital Network Theory : An Associative Algebra Approach to Logic, Arithmetic and State Machines /
by: Benschop, Nico F.
Published: (2009)

Can markets compute equilibria? /
by: Monroe, Hunter K.
Published: (2009)

Fundamentals of computation theory : proceedings /
Published: (1989)

Transactions on computational science VII /
Published: (2010)

Transactions on Computational Science II /
Published: (2008)

Transactions on computational science I /
Published: (2008)

Transactions on computational science VI /
Published: (2009)

Transactions on computational science V : special issue on cognitive knowledge representation /
Published: (2008)

Stepwise Refinement of Distributed Systems : Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings /
by: Bakker, J. W. de (Jacobus Willem), 1939-
Published: (1990)

Number theory and cryptography : papers in honor of Johannes Buchmann on the occasion of his 60th birthday /
Published: (2013)

Cryptographic Hardware and Embedded Systems -- CHES 2003 : 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings /
by: Walter, Colin D.
Published: (2003)

Applications and Theory of Petri Nets 2003 : 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23-27, 2003 Proceedings /
by: Aalst, Wil M. P.
Published: (2003)

Computational theories of interaction and agency /
Published: (1996)