Theory and applications of models of computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings

Models and computability invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

FAW01
FAW02
Volltext

Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19 - 24, 2009 ; proceedings

Inhaltsverzeichnis

Logic and theory of algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15 - 20, 2008 ; proceedings

Inhaltsverzeichnis

Computation and proof theory proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

Computability and complexity in analysis 4th international workshop, CCA 2000, Swansea, UK, September 17 - 19, 2000 ; selected papers

Computability theory and its applications current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applicati...

UBM01
URL des Erstveröffentlichers

Computability theory and its applications current trends and open problems ; proceedings of a 1999 AMS-IMS-Siam Joint Summer Research Conference Computability Theory and Applicatio...

Inhaltsverzeichnis

Theory and practice of computation proceedings of Workshop on Computation Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September-1 October 2...

FAW01
FAW02
Volltext

Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11 - 17, 1976

Logic, foundations of mathematics, and computability theory

Non-classical logics, model theory, and computability proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976

Volltext