×

zbMATH — the first resource for mathematics

Found 55 Documents (Results 1–55)

100
MathJax
Heckel, Reiko (ed.) et al., Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40205-0/pbk). Lecture Notes in Computer Science 8089, 80-94 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 107-121 (2009).
PDF BibTeX XML Cite
Full Text: DOI
AIP Conference Proceedings 1060. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0590-5/pbk). xvi, 423 p. (2008).
PDF BibTeX XML Cite
Full Text: Link
Antoy, Sergio (ed.), Proceedings of the sixth international workshop on reduction strategies in rewriting and programming (WRS 2006), Seattle, WA, USA, August 11, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 10, 119-137 (2007).
MSC:  68Q42 68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Ciancarini, Paolo (ed.) et al., Formal methods for open object-based distributed systems. FMOODS, IFIP TC6/ WG6.1 3rd international conference, Florence, Italy, February 15–18, 1999. Boston: Kluwer Academic Publishers. IFIP, International Federation for Information Processing. 10, 419-436 (1999).
PDF BibTeX XML Cite
Dalen, Dirk van (ed.) et al., Computer science logic. 10th international workshop, CSL ’96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21–27, 1996. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1258, 76-88 (1997).
MSC:  68N15 68Q10 03B40
PDF BibTeX XML Cite
Springer-Lehrbuch. Berlin: Springer-Verlag. ix, 215 p. (1995).
PDF BibTeX XML Cite
Noguchi, Shoichi (ed.) et al., Transputer/ Occam Japan 6. Proceedings of the 6th Transputer/ Occam International Conference 16th - 17th June 1994, Hachioji-shi, Tokyo, Japan. Amsterdam: IOS Press. Transputer Occam Eng. Ser. 39, 102-116 (1994).
MSC:  68N17 68Q45
PDF BibTeX XML Cite
Voronkov, Andrei (ed.), Logic programming and automated reasoning. 4th international conference, LPAR ’93, St. Petersburg, Russia, July 13-20, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 698, 205-216 (1993).
MSC:  68N17 68Q10 68N20
PDF BibTeX XML Cite
Nerode, A. (ed.) et al., Logical foundations of computer science. Tver ’92, 2nd international symposium, Tver, Russia, July 20-24, 1992. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 620, 418-429 (1992).
MSC:  68N17 68N19
PDF BibTeX XML Cite
Arrays, functional languages and parallel systems, Proc. 1st Int. Workshop, Montréal, Québec/Canada 1990, 145-153 (1991).
PDF BibTeX XML Cite
Amsterdam etc.: North-Holland. VIII, 323 p. (1990).
MSC:  68-06 68N17 68Q10 68N15 68Q05
PDF BibTeX XML Cite

Filter Results by …

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