The following pages link to Hierarchies in transitive closure logic, stratified Datalog and infinitary logic (Q1919531):
Displaying 2 items.