Cargando…

Decidable theories

Detalles Bibliográficos
Autores principales:	Müller, Gert H, Siefkes, Dirk
Lenguaje:	eng
Publicado:	Springer 1970
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/BFb0061047 http://cds.cern.ch/record/1690771

Ejemplares similares

Decidable theories
por: Müller, G, et al.
Publicado: (1973)

Decidability of logical theories and their combination
por: Rasga, João, et al.
Publicado: (2020)

Finite automata, their algebras and grammars: towards a theory of formal expressions
por: Büchi, J Richard, et al.
Publicado: (1989)

Enumerability · decidability computability: an introduction to the theory of recursive functions
por: Hermes, Hans
Publicado: (1969)

Enumerability · decidability computability: an introduction to the theory of recursive functions
por: Hermes, Hans
Publicado: (1965)

Decidability and Boolean representations
por: Burris, Stanley, et al.
Publicado: (1981)

Structure of decidable locally finite varieties
por: McKenzie, Ralph, et al.
Publicado: (1989)

Higher Set Theory
por: Müller, Gert, et al.
Publicado: (1978)

Borel liftings of Borel sets: some decidable and undecidable statements
por: Debs, Gabriel, et al.
Publicado: (2007)

Recursion Theory Week
por: Ambos-Spies, Klaus, et al.
Publicado: (1990)

Recursion Theory Week
por: Ebbinghaus, Heinz-Dieter, et al.
Publicado: (1985)

Ω-bibliography of mathematical logic: model theory
por: Müller, Gert, et al.
Publicado: (1987)

UF Galois Theory Week : Aspects of Galois Theory
por: Völklein, H, et al.
Publicado: (1999)

NATO Advanced Study Institute on Representation Theories and Algebraic Geometry
por: Broer, Abraham, et al.
Publicado: (1998)

History and philosophy of constructive type theory
por: Hintikka, Jaakko, et al.
Publicado: (2010)

Spectral theory of linear operators: and spectral systems in Banach algebras
por: Muller, Vladimir
Publicado: (2007)

Spectral theory of linear operators and spectral systems in Banach algebras
por: Müller, Vladimir
Publicado: (2003)

Graph theory, coding theory and block designs
por: Cameron, P J, et al.
Publicado: (1975)

2nd International Dortmund Meeting on Approximation Theory
por: Müller, Manfred, et al.
Publicado: (1999)

International Summer Institute and Logic Colloquium
por: Diller, Justus, et al.
Publicado: (1975)

Manifolds with cusps of rank one: spectral theory and L2-index theorem
por: Müller, Werner
Publicado: (1987)

Russian contributions to game theory and equilibrium theory
por: Yanovskaya, Elena B, et al.
Publicado: (2006)

Trellis theory
por: Skala, H
Publicado: (1972)

Coding theory
por: Lint, Jacobus H
Publicado: (1971)

Galois theory
por: Weintraub, Steven H
Publicado: (2006)

Galois theory
por: Weintraub, Steven H
Publicado: (2009)

Measure theory and probability theory
por: Athreya, Krishna B, et al.
Publicado: (2006)

Set theory and hierarchy theory
por: Lachlan, Alistair, et al.
Publicado: (1977)

Coding theory and design theory
por: Ray-Chaudhuri, Dijen
Publicado: (1990)

Coding theory and number theory
por: Hiramatsu, Toyokazu, et al.
Publicado: (2003)

Introduction to Knot theory
por: Crowell, Richard H, et al.
Publicado: (1977)

Operator theory, systems theory and scattering theory multidimensional generalizations
por: Alpay, Daniel, et al.
Publicado: (2005)

Higher K-Theories
por: Bass, H
Publicado: (1973)

Algebraic number theory
por: Koch, H
Publicado: (1997)

Theory of statistical experiments
por: Heyer, H
Publicado: (1982)

Introduction to coding theory
por: Lint, J H
Publicado: (1999)

The quantitative theory of foliations
por: Lawson, H Blaine
Publicado: (1977)

Introduction to coding theory
por: Lint, J H
Publicado: (1982)

Introduction to coding theory
por: Lint, J H
Publicado: (1992)

International Summer Institute and Logic Colloquium
por: Müller, Gert, et al.
Publicado: (1975)

Cannot write session to /tmp/vufind_sessions/sess_6ubjqghgnaccegdcvhm14qv06f