×

zbMATH — the first resource for mathematics

Found 105 Documents (Results 1–100)

100
MathJax
Kannan, Ravi (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2009), December 15–17, 2009, Kanpur, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-13-2). LIPIcs – Leibniz International Proceedings in Informatics 4, 311-322, electronic only (2009).
MSC:  68Q45 03D05
PDF BibTeX XML Cite
Full Text: DOI Link
Seda, Anthony (ed.) et al., Proceedings of the Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2006), National University of Ireland, Cork, Ireland, August 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 225, 405-420 (2009).
MSC:  68Q60 03B70 68T15
PDF BibTeX XML Cite
Full Text: DOI
Buchberger, Bruno (ed.) et al., Artificial intelligence and symbolic computation. 7th international conference, AISC 2004, Linz, Austria, September 22–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23212-5/pbk). Lecture Notes in Computer Science 3249. Lecture Notes in Artificial Intelligence, 66-79 (2004).
MSC:  68T15 68T20
PDF BibTeX XML Cite
Full Text: DOI
Faller, Martina (ed.) et al., Formalizing the dynamics of information. Stanford, CA: CSLI, Center for the Study of Language and Information. CSLI Lect. Notes. 91, 105-114 (2000).
MSC:  03B20 03F03
PDF BibTeX XML Cite
Altenkirch, Thorsten (ed.) et al., Types for proofs and programs. International workshop, TYPES ’98. Kloster Irsee, Germany, March 27-31, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1657, 179-193 (1999).
MSC:  03B35 03B40 68T15
PDF BibTeX XML Cite
López Mimbela, J. A. (ed.) et al., 30th national congress of the Mexican Mathematical Society, Aguascalientes, México, September 28-October 2, 1997. Proceedings. México: Sociedad Matemática Mexicana. Aportaciones Mat., Comun. 22, 159-178 (1998).
MSC:  03B35 68T15
PDF BibTeX XML Cite
Csirmaz, László (ed.) et al., Logic colloquium ’92, Veszprém, Hungary, August 9-15, 1992. Stanford, CA: CSLI Publications. Studies in Logic, Language and Computation. 243-292 (1995).
MSC:  03G99 03B10
PDF BibTeX XML Cite
Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 105-116 (1990).
PDF BibTeX XML Cite
J. Sov. Math. 45, No. 1, 871-911 (1989); translation from Itogi Nauki Tekh., Ser. Algebra, Topologiya, Geom. 25, 3-66 (1987).
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