Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Ungar, Abraham A.
2001.
Beyond the Einstein Addition Law and its Gyroscopic Thomas Precession.
p.
381.
Avron, Arnon
2003.
Thirty Five Years of Automating Mathematics.
Vol. 28,
Issue. ,
p.
149.
Düntsch, Ivo
and
Urquhart, Alasdair
2006.
Relations and Kleene Algebra in Computer Science.
Vol. 4136,
Issue. ,
p.
148.
Pambuccian, Victor
2006.
Non-Euclidean Geometries.
Vol. 581,
Issue. ,
p.
119.
Balbiani, Philippe
Goranko, Valentin
Kellerman, Ruaan
and
Vakarelov, Dimiter
2007.
Handbook of Spatial Logics.
p.
343.
Bennett, Brandon
and
Düntsch, Ivo
2007.
Handbook of Spatial Logics.
p.
99.
Narboux, Julien
2007.
Automated Deduction in Geometry.
Vol. 4869,
Issue. ,
p.
139.
Pambuccian, Victor
2008.
Axiomatizing geometric constructions.
Journal of Applied Logic,
Vol. 6,
Issue. 1,
p.
24.
Feferman, Solomon
2008.
Harmonious logic: Craig’s interpolation theorem and its descendants.
Synthese,
Vol. 164,
Issue. 3,
p.
341.
Pierce, David
2009.
Model-theory of vector-spaces over unspecified fields.
Archive for Mathematical Logic,
Vol. 48,
Issue. 5,
p.
421.
Constable, Robert L.
2009.
Efficient Algorithms.
Vol. 5760,
Issue. ,
p.
3.
AVIGAD, JEREMY
DEAN, EDWARD
and
MUMMA, JOHN
2009.
A FORMAL SYSTEM FOR EUCLID’SELEMENTS.
The Review of Symbolic Logic,
Vol. 2,
Issue. 4,
p.
700.
Rizza, Davide
2009.
Abstraction and Intuition in Peano's Axiomatizations of Geometry.
History and Philosophy of Logic,
Vol. 30,
Issue. 4,
p.
349.
Gaines, Brian R.
2010.
Human Rationality Challenges Universal Logic.
Logica Universalis,
Vol. 4,
Issue. 2,
p.
163.
Marvin Jay Greenberg
2010.
Old and New Results in the Foundations of Elementary Plane Euclidean and Non-Euclidean Geometries.
The American Mathematical Monthly,
Vol. 117,
Issue. 3,
p.
198.
Szabó, László E.
2010.
EPSA Philosophical Issues in the Sciences.
p.
251.
Andréka, H.
Madarász, J. X.
Németi, I.
Németi, P.
and
Székely, G.
2011.
Der Wiener Kreis in Ungarn / The Vienna Circle in Hungary.
p.
247.
Scheider, Simon
and
Kuhn, Werner
2011.
Spatial Information Theory.
Vol. 6899,
Issue. ,
p.
304.
Grimson, Rafael
Kuijpers, Bart
and
Othman, Walied
2012.
Quantifier elimination for elementary geometry and elementary affine geometry.
Mathematical Logic Quarterly,
Vol. 58,
Issue. 6,
p.
399.
Aiello, Marco
Bezhanishvili, Guram
Bloch, Isabelle
and
Goranko, Valentin
2012.
Logic for physical space.
Synthese,
Vol. 186,
Issue. 3,
p.
619.