×

Found 78 Documents (Results 1–78)

A verified compositional algorithm for AI planning. (English) Zbl 07649953

Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 4, 19 p. (2019).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Is hyper-extensionality preservable under deletions of graph elements? (English) Zbl 1345.03096

Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 103-118, electronic only (2016).
MSC:  03E20
PDFBibTeX XMLCite
Full Text: DOI

On arithmetic computations with hereditarily finite sets, functions and types. (English) Zbl 1286.68063

Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 367-381 (2010).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

A unified formal description of arithmetic and set theoretical data types. (English) Zbl 1286.68062

Autexier, Serge (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence, 247-261 (2010).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

Permutation methods in NF and NFU. (English) Zbl 1203.03077

Crabbé, Marcel (ed.) et al., Proceedings of the 70th anniversary NF meeting in Cambridge. Commemorating the 70th year of the publication of Quine’s seminal paper “New foundations for mathematical logic”, Cambridge, UK, Mai 26–27, 2007. Louvain-la-Neuve: Academia-Bruylant (ISBN 978-2-87209-937-5/pbk). Cahiers du Centre de Logique 16, 33-76 (2009).
MSC:  03E70
PDFBibTeX XMLCite

Characteristic properties of majorant-computability over the reals. (English) Zbl 0934.03056

Gottlob, Georg (ed.) et al., Computer science logic. 12th international workshop, CSL ’98, annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1584, 188-203 (1999).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field