External Links

    Journal: Inf. Comput.

    Volume 205, Issue 6

    817 -- 869Kumar Neeraj Verma, Jean Goubault-Larrecq. Alternating two-way AC-tree automata
    870 -- 889Alexander Rabinovich. On decidability of monadic logic of order over the naturals extended by monadic predicates
    890 -- 916Pekka Kilpeläinen, Rauno Tuhkanen. One-unambiguity of regular expressions with numeric occurrence indicators
    917 -- 965Maribel Fernández, Murdoch Gabbay. Nominal rewriting
    runs on