Journal: Inf. Comput.

Volume 134, Issue 2

75 -- 101Kim Guldstrand Larsen, Wang Yi. Time-abstracted Bisimulation: Implicit Specifications and Decidability
103 -- 139Zvi Galil, Oded Margalit. All Pairs Shortest Distances for Graphs with Small Integer Length Edges

Volume 134, Issue 1

1 -- 58Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt. The Complexity of Concept Languages
59 -- 74Vivek Gore, Mark Jerrum, Sampath Kannan, Z. Sweedyk, Stephen R. Mahaney. A Quasi-Polynomial-Time Algorithm for Sampling Words from a Context-Free Language