Journal: J. Comput. Syst. Sci.

Volume 23, Issue 3

299 -- 325RĂ¼diger Valk, Guy Vidal-Naquet. Petri Nets and Regular Languages
326 -- 332Alan L. Selman. Some Observations on NP, Real Numbers and P-Selective Sets
333 -- 347Lawrence Snyder. Theft and Conspiracy in the Take-Grant Protection Model
348 -- 354Ernst L. Leiss. The Complexity of Restricted Regular Expressions and the Synthesis Problem for Finite Automata
355 -- 365Michael L. Fredman, Dennis J. Volper. Query Time Versus Redundancy Trade-Offs for Range Queries
366 -- 382Michio Oyamaguchi, Yasuyoshi Inagaki, Namio Honda. The Equivalence Problem for Two DPDA s, One of Which is a Finite-Turn or One-Counter Machine
383 -- 424Luigia Carlucci Aiello, Gianfranco Prini. An Efficient Interpreter for the Lambda-Calculus