Cargando…

Decision problems for equational theories of relation algebras

Detalles Bibliográficos
Autores principales:	Andréka, Hajnal, Givant, Steven, Németi, István
Lenguaje:	eng
Publicado:	American Mathematical Society 1997
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2682412

Ejemplares similares

Simple relation algebras
por: Givant, Steven, et al.
Publicado: (2017)

Cylindric-like algebras and algebraic logic
por: Andréka, Hajnal, et al.
Publicado: (2013)

Cylindric set algebras
por: Henkin, Leon, et al.
Publicado: (1981)

Introduction to relation algebras: relation algebras
por: Givant, Steven
Publicado: (2017)

Duality theories for Boolean algebras with operators
por: Givant, Steven
Publicado: (2014)

The structure of relation algebras generated by relativizations
por: Givant, Steven R
Publicado: (1994)

Logic as algebra
por: Halmos, Paul, et al.
Publicado: (1998)

Introduction to boolean algebras
por: Halmos, Paul, et al.
Publicado: (2009)

Equations and inequalities: elementary problems and theorems in algebra and number theory
por: Herman, Jiří, et al.
Publicado: (2000)

Galois' theory of algebraic equations
por: Tignol, Jean Pierre
Publicado: (2001)

Algebraic theory of differential equations
por: MacCallum, Malcolm A H, et al.
Publicado: (2008)

Problems in algebraic number theory
por: Murty, M Ram, et al.
Publicado: (2005)

Lectures on affine Knizhnik-Zamolodchikov equations, quantum many-body problems, Hecke algebras, and Macdonald theory
por: Cherednik, I
Publicado: (1997)

Numerical algebra, matrix theory, differential-algebraic equations and control theory: festschrift in honor of Volker Mehrmann
por: Benner, Peter, et al.
Publicado: (2015)

Nevanlinna theory, normal families, and algebraic differential equations
por: Steinmetz, Norbert
Publicado: (2017)

Algebraic equations
por: BarCharts
Publicado: (2014)

Vector algebra and mechanics: theory, problems, and solutions
por: Capildeo, R
Publicado: (1968)

Schaum's outline of theory and problems of abstract algebra
por: Ayres, Frank, et al.
Publicado: (2004)

Schaum's outline of theory and problems of linear algebra
por: Lipschutz, Seymour
Publicado: (1968)

Schaum's outline of theory and problems of linear algebra
por: Lipschutz, Seymour, et al.
Publicado: (2001)

Algebraic techniques: resolution of equations in algebraic structures
por: Aït-Kaci, Hassan, et al.
Publicado: (1989)

Differential equations: theory, technique and practice with boundary value problems
por: Krantz, Steven G
Publicado: (2015)

Schaum's outline of theory and problems of modern abstract algebra
por: Ayres, Frank Jr
Publicado: (1965)

Computational problems, methods, and results in algebraic number theory
por: Zimmer, Horst G
Publicado: (1972)

A history of abstract algebra: from algebraic equations to modern algebra
por: Gray, Jeremy
Publicado: (2018)

Schaum's outline of theory and problems of differential equations
por: Ayres, Frank
Publicado: (1952)

Schaum's outline of theory and problems of differential equations
por: Bronson, Richard
Publicado: (1994)

College algebra: factoring and equations
por: Ji, Xiang, et al.
Publicado: (2015)

Differential Equations with Linear Algebra
por: Boelkins, Matthew R, et al.
Publicado: (2009)

Approximate linear algebraic equations
por: Kuperman, Israel B
Publicado: (1971)

The numerical solution of algebraic equations
por: Wait, R
Publicado: (1979)

Nonlinear equations and operator algebras
por: Marchenko, Vladimir A
Publicado: (1988)

Continuous symmetries, lie algebras, differential equations and computer algebra
por: Steeb, Willi-Hans
Publicado: (1996)

Theory of approximate functional equations: in Banach algebras, inner product spaces and amenable groups
por: Gordji, Madjid Eshaghi, et al.
Publicado: (2016)

Optimization—theory and applications: problems with ordinary differential equations
por: Cesari, Lamberto
Publicado: (1983)

The equationally-defined commutator: a study in equational logic and algebra
por: Czelakowski, Janusz
Publicado: (2015)

Surveys in differential-algebraic equations IV
por: Ilchmann, Achim, et al.
Publicado: (2017)

Elementary differential equations with linear algebra
por: Rabenstein, Albert L
Publicado: (1982)

Surveys in differential-algebraic equations III
por: Ilchmann, Achim, et al.
Publicado: (2015)

Stability of functional equations in Banach algebras
por: Cho, Yeol Je, et al.
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_d3jkff2lug9hvkjhugmikesuo3