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, 1949-
Imprint:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Description:	1 online resource (Online-Ressource.)
Language:	English
Series:	Lecture Notes in Computer Science ; 3113 Lecture notes in computer science ; 3113.
Subject:	Computational complexity. Computer science. Electronic data processing. Logic design. Computational complexity. Computer science. Electronic data processing. Logic design.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11075239

Hidden Bibliographic Details
Other authors / contributors:	Maurer, Hermann A., 1941- Păun, Gheorghe. Rozenberg, Grzegorz.
ISBN:	9783540223931 3540223932 9783540278122 3540278125
Standard no.:	10.1007/b98751 urn:nbn:de:1111-2010091545

Similar Items

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

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)

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)

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)

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

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)

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)

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)

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)

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)

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

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

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)

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)

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)

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)

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

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

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

Transactions on computational science VII /
Published: (2010)

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

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

Transactions on computational science VI /
Published: (2009)

Transactions on computational science I /
Published: (2008)

Transactions on Computational Science II /
Published: (2008)

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

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)

STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings /
Published: (1988)

Complexity and real computation /
Published: (1998)

Algebraic Logic and Universal Algebra in Computer Science : Proceedings of a Conference, Ames, Iowa, USA. June 1-4, 1988 /
by: Bergman, Clifford H.
Published: (1990)

Foundations of information and knowledge systems : 8th international symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings /
Published: (2014)

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

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III /
Published: (2019)