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. Computation by Abstract Devices. Discrete Mathematics in Computer Science. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Numeric Computing. Theoretische Informatik. Computational complexity. Computer science. Electronic data processing. Logic design. Aufsatzsammlung.
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)

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)

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)

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)

Transactions on Computational Science II /
Published: (2008)

Transactions on computational science I /
Published: (2008)

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

Transactions on computational science VI /
Published: (2009)

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

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

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)

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

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)

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

Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings /
by: Buchberger, Bruno
Published: (2004)