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