Journal: Int. J. Found. Comput. Sci.

Volume 2, Issue 2

83 -- 99Vikraman Arvind, Somenath Biswas. Edge-Deletion Graph Problems with First-Order Expressible Subgraph Properties
101 -- 131Thanh Tung Nguyen. A Relational Model of Demonic Nondeterministic Programs
133 -- 147Hans Leo Bodlaender. On the Complexity of Some Coloring Games
149 -- 162Sachio Hirokawa. Prinipal Type Assignment to Lambda Terms
163 -- 182Tao Jiang, Edward McDowell, Bala Ravikumar. The Structure and Complexity of Minimal NFA s over a Unary Alphabet