|
|||||
|
|
On a hierarchy involving transitive closure logic and existential second-order quantification |
|
| Authors: | Gault, RL Stewart, IA |
| Affiliation: | A1 Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK E-mail: Richard.Gault@comlab.ox.ac.uk A Department of Mathematics and Computer Science, University of Leicester, Leicester, LE1 7RH, UK E-mail: ias4@mcs.le.ac.uk |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |