×

zbMATH — the first resource for mathematics

Found 17 Documents (Results 1–17)

100
MathJax
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, 451-457, electronic only (2012).
MSC:  68N30 68N17
PDF BibTeX XML Cite
Full Text: DOI
Nestmann, Uwe (ed.) et al., HLCL ’98. 3rd international workshop on High-level concurrent languages. Nice, France, September 12, 1998. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 16.3, electronic paper No. 3 (1998).
MSC:  68N99
PDF BibTeX XML Cite
Full Text: Link
Algebraic logic, Pap. Colloq., Budap./Hung. 1988, Colloq. Math. Soc. János Bolyai 54, 393-412 (1991).
Reviewer: S.Bloom (Hoboken)
PDF BibTeX XML Cite
Logical frameworks, Proc. 1st Annu. Workshop, Sophia-Antipolis/Fr. 1990, 309-340 (1991).
MSC:  03B40 03F05
PDF BibTeX XML Cite