Zuhair Al-Johar

According to our database, Zuhair Al-Johar authored at least 2 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2020

Acyclic Comprehension is equal to Stratified Comprehension.

Zuhair Al-Johar, M. Randall Holmes

CoRR, 2020

2014

The Axiom Scheme of Acyclic Comprehension.

Zuhair Al-Johar, M. Randall Holmes, Nathan J. Bowler

Notre Dame J. Formal Log., 2014