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: Inf. Comput.
Home
Index
Info
Issue
Volume
115
, Issue
2
179
--
247
Luca Aceto
,
Matthew Hennessy
.
Adding Action Refinement to a Finite Process Algebra
248
--
292
David Haussler
,
Nick Littlestone
,
Manfred K. Warmuth
.
Predicting /0,1/-Functions on Randomly Drawn Points
293
--
311
Alain J. Mayer
,
Larry J. Stockmeyer
.
Word Problems-This Time with Interleaving
312
--
320
Eli Upfal
.
Tolerating a Linear Number of Faults in Networks of Bounded Degree
321
--
353
Phokion G. Kolaitis
,
Madhukar N. Thakur
.
Logical Definability of NP Optimization Problems
354
--
371
Jan Friso Groote
,
Hans Hüttel
.
Undecidable Equivalences for Basic Process Algebra