Login / Signup
Zuhair Al-Johar
ORCID
Publication Activity (10 Years)
Years Active: 2014-2020
Publications (10 Years): 1
Top Topics
Database Schemes
Np Hard
Program Comprehension
Cognitive Processes
Top Venues
CoRR
Notre Dame J. Formal Log.
</>
Publications
</>
Zuhair Al-Johar
,
M. Randall Holmes
Acyclic Comprehension is equal to Stratified Comprehension.
CoRR
(2020)
Zuhair Al-Johar
,
M. Randall Holmes
,
Nathan J. Bowler
The Axiom Scheme of Acyclic Comprehension.
Notre Dame J. Formal Log.
55 (1) (2014)