×

zbMATH — the first resource for mathematics

Found 86 Documents (Results 1–86)

100
MathJax
Tannen, Val (ed.) et al., In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman. Berlin: Springer (ISBN 978-3-642-41659-0/pbk; 978-3-642-41660-6/ebook). Lecture Notes in Computer Science 8000, 112-166 (2013).
MSC:  68N15 68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 334-347, electronic only (2012).
PDF BibTeX XML Cite
Full Text: DOI
Chapman & Hall/CRC Studies in Informatics Series. Boca Raton, FL: CRC Press (ISBN 978-1-4398-2961-5/hbk; 978-1-138-11422-7/pbk; 978-1-4398-2962-2/ebook). xxx, 274 p. (2011).
PDF BibTeX XML Cite
Full Text: DOI
Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the fourth workshop on logical and semantic frameworks, with applications (LSFA 2009), Brasilia, Brazil, August 28, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 256, 119-135 (2009).
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, 141-159 (2009).
MSC:  68N17 68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Dahl, Verónica (ed.) et al., Logic programming. 23rd international conference, ICLP 2007, Porto, Portugal, September 8–13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74608-9/pbk). Lecture Notes in Computer Science 4670, 271-285 (2007).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Baaz, Matthias (ed.) et al., Computer science logic. 17th international workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel colloquium KGC 2003, Vienna, Austria, August 25–30, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40801-0/pbk). Lect. Notes Comput. Sci. 2803, 530-543 (2003).
MSC:  03B70 68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Thuraisingham, Bhavani (ed.) et al., Data and applications security. Developments and directions. IFIP TC11 / WG11.3 14th annual working conference on database security, Schoorl, the Netherlands, August 21-23, 2000. Boston: Kluwer Academic Publishers. IFIP, Int. Fed. Inf. Process. 73, 323-328 (2001).
MSC:  68P15
PDF BibTeX XML Cite
Hanus, Michael (ed.) et al., Algebraic and logic programming. 6th international joint conference, ALP ’97 - HOA ’97, Southampton, GB, September 3–5, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1298, 31-45 (1997).
MSC:  68N17
PDF BibTeX XML Cite
Benhamou, Frédéric (ed.), JFPLC ’97. 6èmes Journées francophones de programmation logique et programmation par constraintes. 26–28 Mai 1997. Orléans, France. Paris: Éditions Hermès. 53-68 (1997).
MSC:  68N17
PDF BibTeX XML Cite
MIT Press Series in Logic Programming. Cambridge, MA: MIT Press. xxii, 646 p. (1995).
MSC:  68N17 68-06 00B25
PDF BibTeX XML Cite
Institute for New Generation Computer Technology (ed.), 5th generation computer systems 1992. International conference, FGCS ’92. Japan 1992, Vol. 2. Amsterdam: IOS Press. 592-599 (1992).
MSC:  68Q55 68N17
PDF BibTeX XML Cite
Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 521-583 (1992).
Reviewer: Li Xiang (Guiyang)
MSC:  03B70 68N17
PDF BibTeX XML Cite
Börger, Egon (ed.) et al., Computer science logic. 5th workshop, CSL ’91, Berne, Switzerland, October 7-11, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 626, 134-148 (1992).
Reviewer: N.Curteanu (Iaşi)
PDF BibTeX XML Cite
Program. Comput. Software 8, 332-340 (1983); translation from Programmirovanie 1982, No. 6, 39-47 (1982).
MSC:  68Q60
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