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
134
, Issue
2
75
--
101
Kim Guldstrand Larsen
,
Wang Yi
.
Time-abstracted Bisimulation: Implicit Specifications and Decidability
103
--
139
Zvi Galil
,
Oded Margalit
.
All Pairs Shortest Distances for Graphs with Small Integer Length Edges
Volume
134
, Issue
1
1
--
58
Francesco M. Donini
,
Maurizio Lenzerini
,
Daniele Nardi
,
Werner Nutt
.
The Complexity of Concept Languages
59
--
74
Vivek Gore
,
Mark Jerrum
,
Sampath Kannan
,
Z. Sweedyk
,
Stephen R. Mahaney
.
A Quasi-Polynomial-Time Algorithm for Sampling Words from a Context-Free Language