×

zbMATH — the first resource for mathematics

Found 189 Documents (Results 1–100)

100
MathJax
Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 3-19, electronic only (2014).
MSC:  68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 225-245 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 13-24 (2012).
MSC:  68-03 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 46-60 (2009).
MSC:  68Q55 06B35
PDF BibTeX XML Cite
Full Text: DOI
Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 103-119 (2007).
MSC:  68Q55 06B35 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Blute, Rick (ed.) et al., CTCS’02. Proceedings of the 9th conference on category theory and computer science, Ottawa, ON, Canada, August 15–17, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 69, 47-61 (2003).
MSC:  68Q65 18C10
PDF BibTeX XML Cite
Full Text: DOI
Levy, Jean-Jacques (ed.), BOTH 2001 – Böhm’s theorem: applications to computer science theory. Proceedings of one of the four satellite workshops of the 28th international colloquium on automata, languages and programming (ICALP 2001) held in Crete, Greece, July 13, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 2, 145-158 (2001).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI
Levy, Jean-Jacques (ed.), BOTH 2001 – Böhm’s theorem: applications to computer science theory. Proceedings of one of the four satellite workshops of the 28th international colloquium on automata, languages and programming (ICALP 2001) held in Crete, Greece, July 13, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 2, 83-116 (2001).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI
Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 782-793 (1997).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Dowek, Gilles (ed.) et al., Higher-order algebra, logic, and term rewriting. Second international workshop, HOA ’95, Paderborn, Germany, September 21–22, 1995. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1074, 90-108 (1996).
MSC:  03B70 03B16 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Dowek, Gilles (ed.) et al., Higher-order algebra, logic, and term rewriting. Second international workshop, HOA ’95, Paderborn, Germany, September 21–22, 1995. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1074, 57-73 (1996).
MSC:  03B40 08A55 03D20
PDF BibTeX XML Cite
Full Text: DOI
Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 7 p. (1996).
MSC:  68Q55
PDF BibTeX XML Cite
Full Text: Link
Lingas, Andrzej (ed.) et al., Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5–9, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 700, 682-695 (1993).
MSC:  68N15 03D80
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
Biographic Reference
all top 3
Software