External Links

    Journal: Inf. Comput.

    Volume 193, Issue 2

    75 -- 83Stephen Alstrup, Thore Husfeldt, Theis Rauhe. Dynamic nested brackets
    84 -- 116Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella. Finite-tree analysis for constraint logic-based languages
    117 -- 135Eric Badouel, Philippe Darondeau. The synthesis of Petri nets from path-automatic specifications

    Volume 193, Issue 1

    1 -- 20Yoriyuki Yamagata. Strong normalization of the second-order symmetric lambda mu -calculus
    21 -- 56Andrea Asperti, Paolo Coppola, Simone Martini. (Optimal) duplication is not elementary recursive
    57 -- 74Rocco A. Servedio. On learning monotone DNF under product distributions
    runs on