Author: Todt Dietmar Cirillo Jasmin Geberzahn Nicole Schleuss Friederike
Publisher: Taylor & Francis Ltd
ISSN: 1087-6553
Source: Cybernetics and Systems, Vol.32, Iss.1-2, 2001-01, pp. : 257-283
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
By Larso Dwi Doolen Toni Hacker Marla
Journal of Manufacturing Technology Management, Vol. 20, Iss. 4, 2009-05 ,pp. :
Space hierarchy theorem revised
By Geffert V.
Theoretical Computer Science, Vol. 295, Iss. 1, 2003-02 ,pp. :
Elimination of parameters in the polynomial hierarchy
By Koiran P.
Theoretical Computer Science, Vol. 215, Iss. 1, 1999-02 ,pp. :
A hierarchy of temporal logics with past
By Laroussinie F. Schnoebelen P.
Theoretical Computer Science, Vol. 148, Iss. 2, 1995-09 ,pp. :
A Constructive Algebraic Hierarchy in Coq
By Geuvers H. Pollack R. Wiedijk F. Zwanenburg J.
Journal of Symbolic Computation, Vol. 34, Iss. 4, 2002-10 ,pp. :