Decision problems for equational theories of relation algebras

Decision problems for equational theories of relation algebras

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Andreka, H. (Επιμελητής έκδοσης), Givant, Steven R. (Επιμελητής έκδοσης), Nemeti, Istvan (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Providence, Rhode island : American Mathematical Society, c1997
Σειρά:	Memoirs of the American Mathematical Society ; ; 604
Θέματα:	Relation algebras. Decidability (Mathematical logic)
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

The classical decision problem
από: Borger, E. (Egon) 1946-
Δημοσίευση: (1997)

Decidability and Boolean representations
από: Burris, Stanley
Δημοσίευση: (1981)

Selected topics in algebra :
από: Bucur, Ionel 1930-1976
Δημοσίευση: (1984)

The structure of relation algebras generated by relativizations
από: Givant, Steven R.
Δημοσίευση: (1994)

Logic of algebra
από: Dienes, Paul, 1882-1952
Δημοσίευση: (1938)

Algebraic logic
από: Halmos, Paul R. (Paul Richard), 1916-2006
Δημοσίευση: (1962)

On group-theoretic decision problems and their classification
από: Miller, Charles F. 1941-
Δημοσίευση: (1971)

Logic and algebra
Δημοσίευση: (1996)

Algebraic systems
από: Mal'tsev, A. I. (Anatolii Ivanovich) 1909-1967
Δημοσίευση: (1973)

Relational methods in computer science
Δημοσίευση: (1997)

Schaum's outline of theory and problems of discrete mathematics
από: Lipschutz, Seymour
Δημοσίευση: (1997)

Schaum's outline of theory and problems of discrete mathematics
από: Lipschutz, Seymour
Δημοσίευση: (1976)

Relations related to betweenness :
από: Adeleke, S. A. (Samson Adepoju), 1952-
Δημοσίευση: (1998)

An examination of a decision procedure
από: Oglesby, Francis C.
Δημοσίευση: (1962)

The Special theory of relativity :
από: Das, Anadijiban
Δημοσίευση: (1993)

Introduction to logical theory
από: Strawson, P. F.
Δημοσίευση: (1963)

The evolution problem in general relativity
από: Klainerman, Sergiu 1950-
Δημοσίευση: (2003)

Handbook of quantum logic and quantum structures :
Δημοσίευση: (2007)

Algebraizable logics
από: Blok, W. J. 1947-
Δημοσίευση: (1989)

Relative homological algebra
από: Enochs, Edgar E.
Δημοσίευση: (2000)

Αλγεβρικός λογισμός :
από: Ευσταθίου, Αθανάσιος Α.
Δημοσίευση: (1970)

Αλγεβρικός λογισμός :
από: Πανάκης, Ιωάννης Φ.

Tensor calculus, relativity, and cosmology :
από: Dalarsson, M. (Mirjana)
Δημοσίευση: (2005)

Algebraic theory of differential equations
Δημοσίευση: (2009)

Theory of Relativity
από: Pauli, Wolfgang
Δημοσίευση: (1981)

Crossed products of von Neumann algebras by equivalence relations and their subalgebras
από: Fulman, Igor 1965-
Δημοσίευση: (1997)

Schaum's Outline of theory and problems of modern algebra
από: Ayres, Frank 1901-1994
Δημοσίευση: (1965)

Quantification theory
από: Faris, J. A. (John Acheson)
Δημοσίευση: (1964)

Foundations of mathematics :

Algebra II Ring Theory
από: Faith, Carl Clifton 1927-
Δημοσίευση: (1976)

Problems in algebraic number theory
από: Esmonde, Jody
Δημοσίευση: (1999)

Groups with Steinberg relations and coordinatization of polygonal geometries
από: Faulkner, John R. 1943-
Δημοσίευση: (1977)

Foundations of relative homological algebra
από: Eilenberg, Samuel
Δημοσίευση: (1965)

Representations of Algebras and Related Topics
Δημοσίευση: (1992)

Schaum's outline of theory and problems of abstract algebra
από: Fang, Joong
Δημοσίευση: (1963)

Topology of real algebraic varieties and related topics
Δημοσίευση: (1996)

Schaum's outline of theory and problems of LOGIC
από: Nolt, John Eric
Δημοσίευση: (1988)

The mathematical theory of relativity
από: Eddington, Arthur Stanley Sir 1882-1944
Δημοσίευση: (1975)

What is the theory of relativity
από: Landau, L. D. (Lev Davidovich), 1908-1968, κ.ά.
Δημοσίευση: (1970)

Introduction to the theory of relativity
από: Bergmann, Peter Gabriel
Δημοσίευση: (1976)