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


Polynomial hierarchy graph properties in hybrid logic
Authors:F.M. Ferreira,C.M. Freire,M.R.F. Benevides,L. Menasché   Schechter,A.T. Martins
Affiliation:1. Departamento de Computação, Universidade Federal do Ceará, Caixa Postal 6021, Fortaleza, CE 60455-970, Brazil;2. Department of Computer Science, University of Massachusetts Amherst, 140 Governors Drive, Amherst, MA 01003-9264, United States;3. Capes Foundation, Ministry of Education of Brazil, Caixa Postal 250, Brasília, DF 70040-020, Brazil;4. Programa de Engenharia de Sistemas e Computação, Universidade Federal do Rio de Janeiro, Av. Horácio Macedo, 2030, Cidade Universitária, Caixa Postal 68511, Rio de Janeiro, RJ, Brazil;5. Departamento de Ciência da Computação, Universidade Federal do Rio de Janeiro, Rua Athos da Silveira Ramos, 274, Cidade Universitária, Caixa Postal 68530, Rio de Janeiro, RJ, Brazil
Abstract:
Keywords:Hybrid logics   Polynomial hierarchy   Graph properties
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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