A polynomial space construction of tree-like models for logics with local chains of modal connectives

Author： Demri S.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.300, Iss.1, 2003-05, pp. : 235-258

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Block-wise construction of tree-like relational features with monotone reducibility and redundancy

By Kuželka Ondřej   Železný Filip  

Machine Learning, Vol. 83, Iss. 2, 2011-05 ,pp. : 163-192

Springer Publishing Company

Access to resources Recommend Favorite

Splicing on tree-like structures

By Sakakibara Y.   Ferretti C.  

Theoretical Computer Science, Vol. 210, Iss. 2, 1999-01 ,pp. : 227-243

Elsevier

Access to resources Recommend Favorite

Enhancing histograms by tree-like bucket indices

By Buccafurri Francesco  

The VLDB Journal, Vol. 17, Iss. 5, 2008-08 ,pp. : 1041-1061

Springer Publishing Company

Access to resources Recommend Favorite

Monadic second-order logic on tree-like structures

By Walukiewicz I.  

Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. : 311-346

Elsevier

Access to resources Recommend Favorite

A Framework for Supporting Tree-Like Indexes on the Chord Overlay

By Zhu Ming-Dong   Shen De-Rong   Yue Kou   Nie Tie-Zheng   Yu Ge  

Journal of Computer Science and Technology, Vol. 28, Iss. 6, 2013-11 ,pp. : 962-972

Springer Publishing Company

Access to resources Recommend Favorite