×

Found 65 Documents (Results 1–65)

100
MathJax

Nominal unification of higher order expressions with recursive let. (English) Zbl 1485.68074

Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10184, 328-344 (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Functions-as-constructors higher-order unification. (English) Zbl 1387.03008

Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 26, 17 p. (2016).
MSC:  03B35 68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI

Type class instances for type-level lambdas in Haskell. (English) Zbl 1354.68042

Serrano, Manuel (ed.) et al., Trends in functional programming. 16th international symposium, TFP 2015, Sophia Antipolis, France, June 3–5, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-39109-0/pbk; 978-3-319-39110-6/ebook). Lecture Notes in Computer Science 9547, 60-84 (2016).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI Link

A variant of higher-order anti-unification. (English) Zbl 1356.68117

van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 113-127 (2013).
MSC:  68Q42 03B40
PDF BibTeX XML Cite
Full Text: DOI

Second-order matching via explicit substitutions. (English) Zbl 1108.03308

Baader, Franz (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25236-3/pbk). Lecture Notes in Computer Science 3452. Lecture Notes in Artificial Intelligence, 433-448 (2005).
MSC:  03B35 68T15
PDF BibTeX XML Cite
Full Text: DOI

Two thoughts on higher-order unification – most relevant unifiers and unification with case distinction. (Zwei Gedanken zur höherstufigen Unifikation – Relevanteste Unifikatoren und Unifikation mit Fallunterscheidung.) (German) Zbl 1110.03008

München: Univ. München, Fakultät für Mathematik, Informatik und Statistik. 94 p. (2004).
MSC:  03B35 03B40 03B15 03B25 03-02
PDF BibTeX XML Cite
Full Text: Link

Type classes with more higher-order polymorphism. (English) Zbl 1322.68046

Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 179-190 (2002).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI

Higher-order unification and matching. (English) Zbl 1011.03005

Robinson, Alan (ed.) et al., Handbook of automated reasoning. In 2 vols. Amsterdam: North-Holland/ Elsevier; 0-444-50812-0 (vol. 2); 0-444-50813-9 (set)). 1009-1062 (2001).
Reviewer: N.Zamov (Kazan)
MSC:  03B35 68T15 03B40 03B25 68Q42 03B15 03-02 68-02 03E99
PDF BibTeX XML Cite

Higher-order matching and tree automata. (English) Zbl 0911.03006

Nielsen, Mogens (ed.) et al., Computer science logic. 11th international workshop, CSL ’97. Annual conference of the EACSL, Aarhus, Denmark, August 23–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1414, 157-176 (1998).
PDF BibTeX XML Cite

Higher-order equational unification via explicit substitutions. (English) Zbl 0888.03007

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, 61-75 (1997).
Reviewer: N.Zamov (Kazan’)
MSC:  03B40 68Q42
PDF BibTeX XML Cite

Handbook of logic in artificial intelligence and logic programming. Vol. 2: Deduction methodologies. (English) Zbl 0810.68005

Oxford: Clarendon Press. xv, 511 p. £55.00 /hc (1994).
PDF BibTeX XML Cite

Deduction systems in artificial intelligence. 2., überarb. u. erw. Aufl. (Deduktionssysteme. Automatisierung des logischen Denkens.) (German) Zbl 0781.68002

München: Oldenbourg. VIII, 291 p. (1992).
MSC:  68-01 68T15 68T27 03B35
PDF BibTeX XML Cite

Extensions of logic programming. International workshop, Tübingen, FRG, 8–10 December 1989. Proceedings. (English) Zbl 0770.68025

Lecture Notes in Computer Science 475. Berlin etc.: Springer-Verlag (ISBN 3-540-53590-X). VIII, 364 p. (1991).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

Classification

all top 3

Software