Fixpoint Logics over Hierarchical Structures

Author： Göller Stefan  

Publisher： Springer Publishing Company

ISSN： 1432-4350

Source： Theory of Computing Systems, Vol.48, Iss.1, 2011-01, pp. : 93-131

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

Glivenko theorems for substructural logics over FL

By  

The Journal of Symbolic Logic, Vol. 71, Iss. 4, 2006-12 ,pp. : 1353-1384

Cambridge University Press

Access to resources Recommend Favorite

Logics which capture complexity classes over the reals

By  

The Journal of Symbolic Logic, Vol. 64, Iss. 1, 1999-03 ,pp. : 363-390

Cambridge University Press

Access to resources Recommend Favorite

Implicational F-structures and implicational relevance logics

By  

The Journal of Symbolic Logic, Vol. 65, Iss. 2, 2000-06 ,pp. : 788-802

Cambridge University Press

Access to resources Recommend Favorite

Asymptotic equipartition properties for simple hierarchical and networked structures

By Doku-Amponsah Kwabena  

ESAIM: Probability and Statistics, Vol. 16, Iss. issue, 2012-07 ,pp. : 114-138

Edp Sciences

Access to resources Recommend Favorite

Compactness of a fixpoint set and optimal control

By Seidman Thomas  

Applicable Analysis, Vol. 88, Iss. 3, 2009-03 ,pp. : 419-423

Taylor & Francis Ltd

Access to resources Recommend Favorite