Models and Computability
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Cambridge University Press

9780521635509, 9780511565670
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Techniques Oriented Survey of Bounded Queries

1999 ◽  
pp. 117-156 ◽  
Author(s):  
William Gasarch ◽  
Frank Stephan
Keyword(s):  
Bounded Queries

Preface

1999 ◽  
pp. vii-x
Author(s):  
S. Barry Cooper ◽  
John K. Truss

Clockwork or Turing U/universe? - Remarks on Causal Determinism and Computability

1999 ◽  
pp. 63-116 ◽  
Author(s):  
S. Barry Cooper
Keyword(s):  
Causal Determinism

Simplicity and Independence for Pseudo-Algebraically Closed Fields

1999 ◽  
pp. 41-62 ◽  
Author(s):  
Zoé Chatzidakis
Keyword(s):  
Closed Fields ◽  
Algebraically Closed Fields

Computability and Complexity Revisited

1999 ◽  
pp. 169-192
Author(s):  
Neil D. Jones

A Combinatory Algebra for Sequential Functionals of Finite Type

1999 ◽  
pp. 389-406 ◽  
Author(s):  
Jaap van Oosten
Keyword(s):  
Finite Type

Human Styles of Quantificational Reasoning

1999 ◽  
pp. 353-366 ◽  
Author(s):  
Lance J. Rips

A Survey on Canonical Bases in Simple Theories

1999 ◽  
pp. 241-254
Author(s):  
Byunghan Kim
Keyword(s):  
Canonical Bases ◽  
Simple Theories

Continuous Functionals of Dependent and Transfinite Types

1999 ◽  
pp. 1-22 ◽  
Author(s):  
Ulrich Berger
Keyword(s):  
Continuous Functionals

scholarly journals Degree-Theoretic Aspects of Computably Enumerable Reals

1999 ◽  
pp. 23-40 ◽  
Author(s):  
Cristian S. Calude ◽  
Richard Coles ◽  
Peter H. Hertling ◽  
Bakhadyr Khoussainov
Keyword(s):  
Computably Enumerable
Load More ...
Sign in / Sign up

Export Citation Format

Share Document