R. Elageili

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Spatial Reasoning

Automatically Generated

Top Venues

Publications

R. Elageili, John Kenneth Truss
Finitely generated free Heyting algebras: the well-founded initial segment. J. Symb. Log. 77 (4) (2012)