Journal: Theory Comput. Syst.

Volume 18, Issue 3

189 -- 205Ker-I Ko. Nonlevelable Sets and Immune Sets in the Accepting Density Hierarchy in NP
207 -- 235Andrzej Ehrenfeucht, Grzegorz Rozenberg, R. Verraedt. A Combinatorial Property of EOL Languages
251 -- 256Vaclav Dolezal, Shiva Shankar. A Local Implicit Function Theorem and Applications to Systems of Differential Equations
257 -- 291A. J. van der Schaft. Controlled Invariance for Hamiltonian Systems