×

zbMATH — the first resource for mathematics

Found 265 Documents (Results 1–100)

100
MathJax
Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94820-1/pbk; 978-3-319-94821-8/ebook). Lecture Notes in Computer Science 10895, 370-387 (2018).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 818-832 (2017).
MSC:  68N30 81P68
PDF BibTeX XML Cite
Full Text: DOI
Mat. Metody Fiz.-Mekh. Polya 59, No. 2, 19-27 (2016); translation in J. Math. Sci., New York 231, No. 4, 495-506 (2018).
MSC:  35G20 35C99
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 267-279 (2015).
MSC:  03B47
PDF BibTeX XML Cite
Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 65-86, electronic only (2014).
MSC:  68N19 68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
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, 83-98 (2009).
MSC:  68N18 68N17 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Virbitskaite, Irina (ed.) et al., Perspectives of systems informatics. 6th international Andrei Ershov memorial conference, PSI 2006, Novosibirsk, Russia, June 27–30, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-70880-3/pbk). Lecture Notes in Computer Science 4378, 248-259 (2007).
MSC:  68N18 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Operator Theory: Advances and Applications 152. Basel: Birkhäuser (ISBN 3-7643-7115-3/hbk). ix, 387 p. (2004).
PDF BibTeX XML Cite
Operator Theory: Advances and Applications 148. Basel: Birkhäuser (ISBN 3-7643-7054-8/hbk). ix, 443 p. (2004).
PDF BibTeX XML Cite
Gudes, Ehud (ed.) et al., Research directions in data and applications security. IFIP TC11/WG11.3 sixteenth annual conference on data and applications security, July 28–31, 2002, Cambridge, UK. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-7541-3/hbk). IFIP, International Federation for Information Processing 128, 133-146 (2003).
MSC:  68P15 68P05
PDF BibTeX XML Cite
Gärdenfors, Peter (ed.) et al., In the scope of logic, methodology and philosophy of science. Volume one of the 11th international congress of logic, methodology and philosophy of science, Cracow, Poland, August 1999. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 315, 119-133 (2002).
MSC:  03B70
PDF BibTeX XML Cite
Kiïv: Libid’. 336 p. (2001).
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, 277-291 (1999).
MSC:  03B44 03B35 03B70
PDF BibTeX XML Cite
Ukr. Math. J. 51, No. 2, 172-184 (1999); translation from Ukr. Mat. Zh. 51, No. 2, 158-169 (1999).
PDF BibTeX XML Cite
Full Text: DOI
Nizhnij Novgorod: Nauchno-Issledovatel’skij Radiofizicheskij Institut (NIRFI), 379 p. (1993).
MSC:  35-02 35L60 35D05 35L50
PDF BibTeX XML Cite
Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 321-340 (1991).
MSC:  68Q60 68Q10 68Q85
PDF BibTeX XML Cite
Algebraic logic, Pap. Colloq., Budap./Hung. 1988, Colloq. Math. Soc. János Bolyai 54, 37-58 (1991).
Reviewer: L.Brim (Brno)
PDF BibTeX XML Cite
Kibernetika: Neogranichennye Vozmozhnosti i Vozmozhnye Ogranicheniya. Moskva: Nauka. 240 p. R. 0.65 (1990).
Reviewer: S.Vorob’ev
PDF BibTeX XML Cite
Novosibirsk: Institut Matematiki SO An SSSR. 180 p. R. 1.00 (1989).
MSC:  00Bxx 34-06 35-06
PDF BibTeX XML Cite

Filter Results by …

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