×

zbMATH — the first resource for mathematics

Found 77 Documents (Results 1–77)

100
MathJax
Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 57-71 (2012).
MSC:  68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Benzmüller, Christoph (ed.) et al., Reasoning in simple type theory. Festschrift in honor of Peter B. Andrews on his 70th birthday. London: College Publications (ISBN 978-1-904987-70-3/pbk). Studies in Logic (London) 17. Mathematical Logic and Foundations, 271-302 (2008).
MSC:  03B40 03G25 08A70
PDF BibTeX XML Cite
Seda, Anthony K. (ed.) et al., Proceedings of the third Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2004), Dublin, Ireland, July 22–23, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 161, 43-57 (2006).
PDF BibTeX XML Cite
Full Text: Link
Algebra, geometry and their applications. Seminar proceedings, Yerevan State University, Yerevan, Armenia. Vol. 1, 2001. Yerevan: Yerevan State University Press. 11-19 (2001).
MSC:  68N18
PDF BibTeX XML Cite
Kapoor, Sanjiv (ed.) et al., FST TCS 2000: Foundations of software technology and theoretical computer science. 20th conference, New Delhi, India, December 13–15, 2000. Proceedings. Berlin: Springer (ISBN 3-540-41413-4). Lect. Notes Comput. Sci. 1974, 429-441 (2000).
MSC:  03B40 68N18
PDF BibTeX XML Cite
Full Text: Link
Flum, Jörg (ed.) et al., Computer science logic. 13th international workshop, CSL ’99. 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1683, 453-468 (1999).
MSC:  03B40 18C15 03B35
PDF BibTeX XML Cite
Flum, Jörg (ed.) et al., Computer science logic. 13th international workshop, CSL ’99. 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1683, 405-419 (1999).
MSC:  03B40
PDF BibTeX XML Cite
Ginzburg, Jonathan (ed.) et al., The Tbilisi symposium on logic, language and computation: Selected papers, Gudauri, Georgia, October 19-22, 1995. Stanford, CA: CSLI Publications. Studies in Logic, Language and Information. 353-367 (1998).
MSC:  03B40
PDF BibTeX XML Cite
Hofmann, Karl H. (ed.) et al., Semigroup theory and its applications. Proceedings of the 1994 conference commemorating the work of Alfred H. Clifford, New Orleans, LA, USA, March 1994. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 231, 123-155 (1996).
MSC:  18D20 03B40 18B35
PDF BibTeX XML Cite
Proceedings of the IX Latin American symposium on mathematical logic, Bahía Blanca, Argentina, August 3-8, 1992. Part 1. Bahía Blanca: Universidad Nacional del Sur, Notas Logica Mat. 38, 93-112 (1993).
MSC:  03G25 03B40 08B05
PDF BibTeX XML Cite
Maluszyński, Jan (ed.) et al., Programming language implementation and logic programming. 3rd international symposium, PLILP ’91, Passau, Germany, August 26-28, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 528, 287-298 (1991).
MSC:  68N17 03B40
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