920 citations
- Argonne National LaboratoryUS55 papers
- Temple UniversityUS50 papers
- Thomas Jefferson National Accelerator FacilityUS43 papers
- Florida International UniversityUS38 papers
- George Washington UniversityUS38 papers
- Old Dominion UniversityUS38 papers
- University of GlasgowGB38 papers
- A. Alikhanyan National LaboratoryAM37 papers
- William & MaryUS37 papers
- National Research Nuclear University MEPhIRU36 papers
- Duke UniversityUS35 papers
- Florida State UniversityUS34 papers
4 papers · 1 filter
Improved bounds on the size of the smallest representation of relation algebra
Jeremy F. Alm, Michael Levet, Saeed Moazami +4
In this paper, we shed new light on the spectrum of the relation algebra we call , which is obtained by splitting the non-flexible diversity atom of into symmetr…
Representability of Lyndon-Maddux relation algebras
Jeremy F. Alm
In Alm-Hirsch-Maddux (2016), relation algebras were defined that generalize Roger Lyndon's relation algebras from projective lines, so that …
The power of backtracking and the confinement of length
Timothy H. McNicholl
We show that there is a point on a computable arc that does not belong to any computable rectifiable curve. We also show that there is a point on a computable rectifiable curve wit…
Effective local connectivity properties
Dale Daniel, Timothy H. McNicholl
We investigate, and prove equivalent, effective versions of local connectivity and uniformly local arcwise connectivity for connected and computably compact subspaces of Euclidean…