首页 | 本学科首页   官方微博 | 高级检索  
     


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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号