Logic, Langage and Computation, Volume 2

, & (eds.)
Center for the Study of Language and Inf (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

9781575861807   157586181X

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Logic, Language and Computation Vol.Lawrence Moss, Gizburg S., Rijke Jonathaden & Maarten (eds.) - 1999 - CSLI Publications.
Logic, meaning, and computation: essays in memory of Alonzo Church.C. Anthony Anderson & Michael Zelëny (eds.) - 2001 - Boston: Kluwer Academic Publishers.
Logic, Language and Computation, Volume 3.Patrick Blackburn, Nick Braisby, Lawrence Cavedon & Atsushi Shimojima (eds.) - 2000 - Center for the Study of Language and Inf.
Rich ontologies for tense and aspect.Patrick Blackburn, Claire Gardent & Maarten De Rijke - 1996 - In Jerry Seligman & Dag Westerståhl (eds.), Logic, Language and Computation. CSLI Publications.
Measurement-Based Quantum Computation and Undecidable Logic.Maarten Van den Nest & Hans J. Briegel - 2008 - Foundations of Physics 38 (5):448-457.
A compositional situation semantics for attitude reports.Robin Cooper & Jonathan Ginzburg - 1996 - In Jerry Seligman & Dag Westerståhl (eds.), Logic, Language and Computation. Csli Publications, Stanford. pp. 1--151.
An axiomatization of full computation tree logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.
The nets of reason.Johan van Benthem - 2012 - Argument and Computation 3 (2-3):83 - 86.
Logic and computation: interactive proof with Cambridge LCF.Lawrence C. Paulson - 1987 - New York: Cambridge University Press.
On Binary Computation Structures.Bernhard Heinemann - 1997 - Mathematical Logic Quarterly 43 (2):203-215.
Lecture Notes on Artificial Intelligence 5422, Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation.Peter Bosch, David Gabelaia & Jérôme Lang (eds.) - 2009 - Springer.
Interfaces: Explorations in Logic, Language and Computation.T. Icard & R. Muskens (eds.) - 2010 - Springer Berlin.
Transcending Turing computability.B. J. Maclennan - 2003 - Minds and Machines 13 (1):3-22.
Advances in Modal Logic, Volume 2: Papers From the Second Aiml Conference, Held at the University of Uppsala, Sweden, October 1998.Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.) - 2001 - Stanford, CA, USA: Center for the Study of Language and Inf.

Analytics

Added to PP
2015-01-20

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Larry Moss
Indiana University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references