External Links

    Journal: J. Comput. Syst. Sci.

    Volume 23, Issue 1

    1 -- 10Hermann A. Maurer, Arto Salomaa, Derick Wood. Completeness of Context-Free Grammar Forms
    11 -- 21Gérard P. Huet. A Complete Proof of Correctness of the Knuth-Bendix Completion Algorithm
    22 -- 37Katsuhiko Nakamura. Synchronous to Asynchronous Transformation of Polyautomata
    38 -- 48Arthur G. Werschulz. On Maximal Order for Local and Global Numerical Problems
    49 -- 68Ralph-Johan Back. On Correct Refinement of Programs
    69 -- 105Jean H. Gallier. Recursion-Closed Algebraic Theories
    106 -- 0Martin Tompa. Corrigendum: Time-Space Tradeoffs for Computing Functions, Using Connectivity Properties of Their Circuits
    runs on