Journal: Inf. Comput.

Volume 110, Issue 2

0 -- 0Gilles Kahn. Preface
265 -- 296Antonio Bucciarelli, Thomas Ehrhard. Sequentiality in an Extensional Framework
297 -- 304Thierry Coquand. An Analysis of Ramsey s Theorem
305 -- 326Patrice Godefroid, Pierre Wolper. A Partial Approach to Model Checking
327 -- 365Joshua S. Hodas, Dale Miller. Logic Programming in a Fragment of Intuitionistic Linear Logic
366 -- 390Dexter Kozen. A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
391 -- 420Daniel Leivant. A Foundational Delineation of Poly-time

Volume 110, Issue 1

1 -- 18Jonathan Sorenson. Polylog Depth Circuits for Integer Factoring and Discrete Logarithms
19 -- 41Peter Thanisch, George Loizou, Jyrki Nummenmaa. Finding Compact Scheme Forests in Nested Normal Form is NP-Hard
42 -- 83Raymond T. Ng, V. S. Subrahmanian. Stable Semantics for Probabilistic Deductive Databases
84 -- 95Ludek Kucera, Alberto Marchetti-Spaccamela, Marco Protasi. On Learning Monotone DNF Formulae under Uniform Distributions
96 -- 118Jerry L. Trahan, Vijaya Ramachandran, Michael C. Loui. Parallel Random Access Machines with both Multiplication and Shifts
119 -- 129Steven Homer, Jie Wang. Immunity of Complete Problems
130 -- 148Marc J. van Kreveld, Mark H. Overmars. Concatenable Structures for Decomposable Problems
149 -- 163Bernhard Steffen, Anna Ingólfsdóttir. Characteristic Formulae for Processes with Divergence
164 -- 182Volker Diekert, Edward Ochmanski, Klaus Reinhardt. On Confluent Semi-commutations: Decidability and Complexity Results
183 -- 232Hagit Attiya, Nancy A. Lynch. Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty
233 -- 263Guo-Qiang Zhang. A Representation of SFP