Cargando…

Decidable theories

Detalles Bibliográficos
Autores principales:	Müller, G, Siefkes, D
Lenguaje:	eng
Publicado:	Springer 1973
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/BFb0082720 http://cds.cern.ch/record/1691491

Ejemplares similares

Decidable theories
por: Müller, Gert H, et al.
Publicado: (1970)

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

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)

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

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

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

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

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

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

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)

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)

The representation theory of the symmetric groups
por: James, G D
Publicado: (1978)

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

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)

General theory of irregular curves
por: Alexandrov, A D, et al.
Publicado: (1989)

Dynamical systems V: bifurcation theory and catastrophe theory
por: Arnol’d, V
Publicado: (1994)

Measure Theory
por: Kölzow, D, et al.
Publicado: (1982)

Measure Theory
por: Kölzow, D, et al.
Publicado: (1984)

Theory of distributions
por: Georgiev, Svetlin G
Publicado: (2015)

Algebraic theories
por: Manes, Ernest G
Publicado: (1976)

Bilateral bargaining: theory and applications
por: Fandel, G, et al.
Publicado: (1986)

Game theory and decision theory in agent-based systems
por: Parsons, Simon D, et al.
Publicado: (2002)

Invariant theory
por: Neusel, Mara D
Publicado: (2007)

Theory of groups
por: Kurosh, Aleksandr G, et al.
Publicado: (1960)

Theory of groups
por: Kurosh, Aleksandr G, et al.
Publicado: (1960)

Measure Theory Applications to Stochastic Analysis
por: Kallianpur, G, et al.
Publicado: (1978)

Catastrophe theory
por: Arnol'd, Vladimir Igorevich
Publicado: (1992)

Catastrophe theory
por: Arnol'd, Vladimir Igorevich
Publicado: (1986)

Catastrophe theory
por: Arnol'd, Vladimir Igorevich
Publicado: (1984)

Some questions in the theory of moments
por: Ahiezer, N I, et al.
Publicado: (1962)

Ergodic theory
por: Cornfeld, I P, et al.
Publicado: (1982)

Matching theory
por: Lovász, László, et al.
Publicado: (2009)

Scattering theory
por: Lax, Peter D, et al.
Publicado: (1990)

Applied group theory
por: Hall, G G
Publicado: (1967)

Homotopy theory
por: Davis, Daniel G, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_hqlgkhoesa3llq6i9sf23u4g8t