Journal: Theory Comput. Syst.

Volume 36, Issue 1

1 -- 15Patrizio Cintioli, Riccardo Silvestri. Polynomial Time Introreducibility
17 -- 27Debashis Bera, Madhumangal Pal, Tapan Kumar Pal. An Efficient Algorithm for Finding All Hinge Vertices on Trapezoid Graphs
29 -- 69Howard Straubing, Denis Thérien. Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables
71 -- 88Satyanarayana V. Lokam. Graph Complexity and Slice Functions
89 -- 103Juha Honkala. The Equivalence Problem of Polynomially Bounded D0L Systems - a Bound Depending Only on the Size of the Alphabet