Cargando…

Decision problems for equational theories of relation algebras /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Andréka, H.
Otros Autores:	Givant, Steven R., Németi, I.
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Providence, R.I. : American Mathematical Society, ©1997.
Colección:	Memoirs of the American Mathematical Society ; no. 604.
Temas:	Relation algebras. Decidability (Mathematical logic) Algèbres des relations. Décidabilité (Logique mathématique) MATHEMATICS > Essays. MATHEMATICS > Pre-Calculus. MATHEMATICS > Reference. Relation algebras
Acceso en línea:	Texto completo

Ejemplares similares

Deducibility and Decidability.
por: Gill, R. R. Rockingham
Publicado: (1990)

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

Language and godels theorem : a revised edition.
por: Tice, Bradley S.
Publicado: (2012)

Deducibility and decidability /
por: Gill, R. R. Rockingham, 1944-
Publicado: (1990)

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem /
por: Hirschfeldt, Denis Roman, et al.
Publicado: (2017)

Undecidable theories /
Publicado: (1953)

Algebraizable logics /
por: Blok, W. J., 1947-
Publicado: (1989)

A tour through mathematical logic /
por: Wolf, Robert S.
Publicado: (2005)

Classification of simple C*-algebras : inductive limits of matrix algebras over trees /
por: Li, Liangqing, 1959-
Publicado: (1997)

Logic and algebraic structures in quantum computing /
Publicado: (2016)

Structure of the level one standard modules for the affine Lie algebras Bl⁽¹⁾, F₄⁽¹⁾, and G₂⁽¹⁾ /
por: Mandia, Marly, 1947-
Publicado: (1987)

Two applications of logic to mathematics /
por: Takeuti, Gaisi, 1926-2017
Publicado: (1978)

Algebraic and strong splittings of extensions of Banach algebras /
por: Badè, W. G. (William G.), 1924-2012
Publicado: (1999)

Vertex algebras and integral bases for the enveloping algebras of affine Lie algebras /
por: Prevost, Shari A., 1960-
Publicado: (1992)

Algebraic theories : a categorical introduction to general algebra /
por: Adámek, Jiří, 1947-
Publicado: (2011)

Classification of Jacobian ideals invariant by sl(2, C) actions /
por: Yau, Stephen Shing-Toung
Publicado: (1988)

Algebra and computer science /
Publicado: (2016)

Points on quantum projectivizations /
por: Nyman, Adam, 1972-
Publicado: (2004)

Logic Colloquium '90 : ASL Summer Meeting in Helsinki /
Publicado: (2017)

Calculus of principally twisted vertex operators /
por: Figueiredo, Leila, 1952-
Publicado: (1987)

Reductive subgroups of exceptional algebraic groups /
por: Liebeck, M. W. (Martin W.), 1954-
Publicado: (1996)

A₁ subgroups of exceptional algebraic groups /
por: Lawther, R. (Ross), 1960-
Publicado: (1999)

Spectral sequence constructors in algebra and topology /
por: Barnes, D. W. (Donald W.), 1935-
Publicado: (1985)

Kac algebras arising from composition of subfactors : general theory and classification /
por: Izumi, Masaki, 1965-
Publicado: (2002)

C*-algebra extensions of C(X) /
por: Lin, Huaxin, 1956-
Publicado: (1995)

Crossed products of von Neumann algebras by equivalence relations and their subalgebras /
por: Fulman, Igor, 1965-
Publicado: (1997)

On the classification of C*-algebras of real rank zero : inductive limits of matrix algebras over non-Hausdorff graphs /
por: Su, Hongbing, 1957-
Publicado: (1995)

Continuous tensor products and Arveson's spectral C*-algebras /
por: Zacharias, Joachim, 1966-
Publicado: (2000)

Degree spectra of relations on a cone /
por: Harrison-Trainor, Matthew, 1990-
Publicado: (2018)

The [Gamma]-equivariant form of the Berezin quantization of the upper half plane /
por: Rădulescu, Florin, 1960-
Publicado: (1998)

Two Applications of Logic to Mathematics /
por: Takeuti, Gaisi, 1926-2017
Publicado: (1978)

Extended affine Lie algebras and their root systems /
por: Azam, Saeid, et al.
Publicado: (1997)

Hilbert modules over operator algebras /
por: Muhly, Paul S.
Publicado: (1995)

Categories of modules over endomorphism rings /
por: Faticoni, Theodore G. (Theodore Gerard), 1954-
Publicado: (1993)

Steenrod connections and connectivity in H-spaces /
por: Lin, James P., 1949-
Publicado: (1987)

Implications in Morava K-theory /
por: Kane, Richard M., 1944-
Publicado: (1986)

Higher initial ideals of homogeneous ideals /
por: Fløystad, Gunnar, 1963-
Publicado: (1998)

Relations related to betweenness : their structure and automorphisms /
por: Adeleke, S. A. (Samson Adepoju), 1952-
Publicado: (1998)

Invariants under tori of rings of differential operators and related topics /
por: Musson, Ian M. (Ian Malcolm), 1953-
Publicado: (1998)

Universal algebra : fundamentals and selected topics /
por: Bergman, C. H. (Clifford H.), 1953-
Publicado: (2012)

Cannot write session to /tmp/vufind_sessions/sess_mlqdvlo05eaj8ck4sao0i9idm9