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: Nord. J. Comput.
Home
Index
Info
Issue
Volume
1
, Issue
3
273
--
0
Andrzej Lingas
.
Editor s Foreword
275
--
316
Madhav V. Marathe
,
Harry B. Hunt III
,
S. S. Ravi
.
The Complexity of Approximation PSPACE-Complete Problems for Hierarchical Specifications
317
--
331
Viggo Kann
.
Polynomially Bounded Minimization Problems That Are Hard to Approximate
332
--
345
Bogdan S. Chlebus
,
Krzysztof Diks
,
Andrzej Pelc
.
Sparse Networks Supporting Efficient Reliable Broadcasting
346
--
363
Klaus Havelund
,
Kim Guldstrand Larsen
.
The Fork Calculus
364
--
0
Hardi Hungar
,
Bernhard Steffen
.
Local Model-Checking for Context-Free Processes