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
Volume
Volume
181
, Issue
2
75
--
87
Jop F. Sibeyn
.
List-ranking on interconnection networks
88
--
98
Guozhu Dong
,
Leonid Libkin
,
Limsoon Wong
.
Incremental recomputation in local languages
99
--
130
Nicolas Peltier
.
Extracting models from clause sets saturated under semantic refinements of the resolution rule
Volume
181
, Issue
1
1
--
31
Alain Finkel
,
S. Purushothaman Iyer
,
Grégoire Sutre
.
Well-abstracted transition systems: application to FIFO automata
32
--
56
Peter Hertling
,
Klaus Weihrauch
.
Random elements in effective topological spaces with measure
57
--
74
Amihood Amir
,
Richard Cole
,
Ramesh Hariharan
,
Moshe Lewenstein
,
Ely Porat
.
Overlap matching