scientific article
From MaRDI portal
Publication:3998034
zbMATH Open0741.00041MaRDI QIDQ3998034FDOQ3998034
Author name not available (Why is that?)
Publication date: 17 September 1992
Title of this publication is not available (Why is that?)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cited In (16)
- Logic colloquium '88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988
- First order logic without equality on relativized semantics
- The finitely axiomatizable complete theories of non-associative arrow frames
- Complexity of equations valid in algebras of relations. II: Finite axiomatizations
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Relation algebras from cylindric algebras. I
- Relation algebras from cylindric algebras. II
- A relation-algebraic approach to the region connection calculus
- Interpolation and amalgamation in modal cylindric algebras
- Applied neat reducts on some classes of algebras
- Relation algebras and their application in temporal and spatial reasoning
- Some results about neat reducts
- Epimorphisms in cylindric algebras and definability in finite variable logic
- New perspectives in algebraic logic, from neat embeddings to ErdΕs graphs
- How many varieties of cylindric algebras are there
- Undecidability of Algebras of Binary Relations
Recommendations
- Logic colloquium '88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988 π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3998034)