×

Found 24 Documents (Results 1–24)

On solving nominal disunification constraints. (English) Zbl 1495.03048

Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 3-22 (2020).
MSC:  03B70 03B40 68Q55
PDFBibTeX XMLCite
Full Text: DOI

On first-order model-based reasoning. (English) Zbl 1322.03013

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 181-204 (2015).
MSC:  03B35 03B10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Compiling a functional logic language: The Fair Scheme. (English) Zbl 1453.68039

Gupta, Gopal (ed.) et al., Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8901, 202-219 (2014).
PDFBibTeX XMLCite
Full Text: DOI

A single-significant-digit calculus for semi-automated guesstimation. (English) Zbl 1291.68315

Giesl, Jürgen (ed.) et al., Automated reasoning. 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16–19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14202-4/pbk). Lecture Notes in Computer Science 6173. Lecture Notes in Artificial Intelligence, 354-368 (2010).
MSC:  68T15
PDFBibTeX XMLCite
Full Text: DOI Link

Automating signature evolution in logical theories. (English) Zbl 1166.68356

Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 333-338 (2008).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

A needed rewriting strategy for data-structures with pointers. (English) Zbl 1145.68443

Voronkov, Andrei (ed.), Rewriting techniques and applications. 19th international conference, RTA 2008, Hagenberg, Austria, July 15–17, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70588-8/pbk). Lecture Notes in Computer Science 5117, 63-78 (2008).
MSC:  68Q42 68P10
PDFBibTeX XMLCite
Full Text: DOI

Towards ontology evolution in physics. (English) Zbl 1155.68521

Hodges, Wilfrid (ed.) et al., Logic, language, information and computation. 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1–4, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69936-1/pbk). Lecture Notes in Computer Science 5110. Lecture Notes in Artificial Intelligence, 98-110 (2008).
MSC:  68T27 00A79 68T15 68T30
PDFBibTeX XMLCite
Full Text: DOI Link

Foundations of refinement operators for description logics. (English) Zbl 1136.68491

Blockeel, Hendrik (ed.) et al., Inductive logic programming. 17th international conference, ILP 2007, Corvallis, OR, USA, June 19–21, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-78468-5/pbk). Lecture Notes in Computer Science 4894. Lecture Notes in Artificial Intelligence, 161-174 (2008).
MSC:  68T05 68N17 68T27
PDFBibTeX XMLCite
Full Text: DOI Link

Higher-order families. (English) Zbl 1503.68164

Ganzinger, Harald (ed.), Rewriting techniques and applications. 7th international conference, RTA ’96, New Brunswick, NJ, USA, July 27–30, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1103, 392-407 (1996).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Lazy narrowing: strong completeness and eager variable elimination (extended abstract). (English) Zbl 1496.68167

Mosses, Peter D. (ed.) et al., TAPSOFT ’95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 915, 394-408 (1995).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software