Period of time: 2014年6期
Publisher: Springer Publishing Company
Founded in: 1966
Total resources: 31
ISSN: 1432-4350
Subject: O1 Mathematics
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Theory of Computing Systems,volume 37,issue 6
Menu
Finite Presentations of Infinite Structures: Automata and Interpretations
Theory of Computing Systems,volume 37,issue 6 , Vol. 37, Iss. 6, 2004-12 , pp.Fixed-Point Logics and Solitaire Games
By Berwanger Dietmar in (2004)
Theory of Computing Systems,volume 37,issue 6 , Vol. 37, Iss. 6, 2004-12 , pp.A Dichotomy in the Complexity of Propositional Circumscription
By Kirousis Lefteris M. in (2004)
Theory of Computing Systems,volume 37,issue 6 , Vol. 37, Iss. 6, 2004-12 , pp.The Complexity of Linear and Stratified Context Matching Problems
By Schmidt-Schauß Manfred in (2004)
Theory of Computing Systems,volume 37,issue 6 , Vol. 37, Iss. 6, 2004-12 , pp.