Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Hirsch, Robin
1996.
Relation algebras of intervals.
Artificial Intelligence,
Vol. 83,
Issue. 2,
p.
267.
Andréka, Hajnal
1997.
Complexity of equations valid in algebras of relations part I: Strong non-finitizability.
Annals of Pure and Applied Logic,
Vol. 89,
Issue. 2-3,
p.
149.
Hodkinson, Ian
1997.
Atom structures of cylindric algebras and relation algebras.
Annals of Pure and Applied Logic,
Vol. 89,
Issue. 2-3,
p.
117.
Hirsch, Robin
2000.
Tractable approximations for temporal constraint handling.
Artificial Intelligence,
Vol. 116,
Issue. 1-2,
p.
287.
Stebletsova, Vera
2000.
Weakly Associative Relation Algebras with Polyadic Composition Operations.
Studia Logica,
Vol. 66,
Issue. 2,
p.
297.
Hirsch, Robin
and
Hodkinson, Ian
2001.
Strongly representable atom structures of relation algebras.
Proceedings of the American Mathematical Society,
Vol. 130,
Issue. 6,
p.
1819.
Hirsch, Robin
and
Hodkinson, Ian
2001.
Relational Methods for Computer Science Applications.
Vol. 65,
Issue. ,
p.
239.
Ahmed, Tarek Sayed
and
Németi, Istvan
2001.
On Neat Reducts of Algebras of Logic.
Studia Logica,
Vol. 68,
Issue. 2,
p.
229.
Hirsch, Robin
and
Hodkinson, Ian
2001.
Relation algebras from cylindric algebras, I.
Annals of Pure and Applied Logic,
Vol. 112,
Issue. 2-3,
p.
225.
Andréka, H.
Németi, I.
and
Sain, I.
2001.
Handbook of Philosophical Logic.
p.
133.
Andréka, Hajnalka
2001.
A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS.
Studia Scientiarum Mathematicarum Hungarica,
Vol. 38,
Issue. 1-4,
p.
1.
2002.
Relation Algebras by Games.
Vol. 147,
Issue. ,
p.
629.
Ahmed, Tarek Sayed
2002.
Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic.
Studia Logica,
Vol. 72,
Issue. 2,
p.
285.
Ahmed, Tarek Sayed
2002.
A Modeltheoretic Solution to a Problem of Tarski.
MLQ,
Vol. 48,
Issue. 3,
p.
343.
2003.
Many-Dimensional Modal Logics - Theory and Applications.
Vol. 148,
Issue. ,
p.
685.
Sayed Ahmed, Tarek
2003.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.
Notre Dame Journal of Formal Logic,
Vol. 44,
Issue. 3,
Hodkinson, Ian
and
Venema, Yde
2004.
Canonical varieties with no canonical axiomatisation.
Transactions of the American Mathematical Society,
Vol. 357,
Issue. 11,
p.
4579.
Ahmed, Tarek Sayed
2005.
Algebraic Logic, Where Does it Stand Today?.
Bulletin of Symbolic Logic,
Vol. 11,
Issue. 4,
p.
465.
Sayed Ahmed, Tarek
2005.
Omitting types for algebraizable extensions of first order logic.
Journal of Applied Non-Classical Logics,
Vol. 15,
Issue. 4,
p.
465.
Ferenczi, Miklós
2010.
On the representability of neatly embeddable CA’s by cylindric relativized algebras.
Algebra universalis,
Vol. 63,
Issue. 4,
p.
331.