researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Int. J. Found. Comput. Sci.
Home
Index
Info
Issue
Volume
2
, Issue
2
83
--
99
Vikraman Arvind
,
Somenath Biswas
.
Edge-Deletion Graph Problems with First-Order Expressible Subgraph Properties
101
--
131
Thanh Tung Nguyen
.
A Relational Model of Demonic Nondeterministic Programs
133
--
147
Hans Leo Bodlaender
.
On the Complexity of Some Coloring Games
149
--
162
Sachio Hirokawa
.
Prinipal Type Assignment to Lambda Terms
163
--
182
Tao Jiang
,
Edward McDowell
,
Bala Ravikumar
.
The Structure and Complexity of Minimal NFA s over a Unary Alphabet