A Computational Logic for Applicative Common LISP

&
In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 724–741 (2006)
  Copy   BIBTEX

Abstract

This chapter contains sections titled: Introduction The ACL2 System A Modeling Problem Case Studies.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9780470996751   9780631216711

DOI

10.1002/9780470996751.ch46

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,610

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I.Antonis C. Kakas & Robert Kowalski - 2002 - Springer.
Some Lisp History and Some Programming Language Ideas.John McCarthy - unknown
Advanced Logic Programming for Language Processing.Patrick Saint-Dizier - 1994
Truth in applicative theories.Reinhard Kahle - 2001 - Studia Logica 68 (1):103-128.
Traditional Logic and Computational Thinking.J. -Martín Castro-Manzano - 2021 - Philosophies 6 (1):12.
Quantum computational logic with mixed states.Hector Freytes & Graciela Domenech - 2013 - Mathematical Logic Quarterly 59 (1-2):27-50.
Remarks on applicative theories.Andrea Cantini - 2005 - Annals of Pure and Applied Logic 136 (1-2):91-115.
Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings.Peter Schroeder-Heister - 1991 - Springer.
Typability in Partial Applicative Structures.Inge Bethke & Piet Rodenburg - 2011 - Journal of Logic, Language and Information 20 (2):161-168.
A Tight, Practical Integration of Relations and Functions.Harold Boley - 1999 - Springer Verlag.
Aspecto-Temporal Meanings Analysed by Combinatory Logic.Jean-Pierre Desclés, Anca Christine Pascu & Hee-Jin Ro - 2014 - Journal of Logic, Language and Information 23 (3):253-274.
Information-oriented computation with BABY-SIT.Erkan Tin & Varol Akman - 1996 - In Jerry Seligman & Dag Westerståhl (eds.), Logic, Language and Computation, Volume 1. Stanford, CA: Center for the Study of Language and Information Publications. pp. 19-34.
Computability theory, semantics, and logic programming.Melvin Fitting - 1987 - Oxford: Clarendon Press.
AI and the Origins of the Functional Programming Language Style.Mark Priestley - 2017 - Minds and Machines 27 (3):449-472.
Logic Programming: Proceedings of the Fifth International Conference and Symposium.Robert Kowalski & Kenneth A. Bowen - 1988 - MIT Press (MA).

Analytics

Added to PP
2023-06-15

Downloads
5 (#1,534,306)

6 months
3 (#962,966)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references