@article{Tiuryn/89,
AUTHOR = {Tiuryn, Jerzy},
TITLE = {A simplified proof of $DDL<DL$},
JOURNAL = {Inf.~Comput.},
VOLUME = {81},
NUMBER = {1},
PAGES = {1-12},
YEAR = {1989},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Browne-Clarke-Grumberg/89,
AUTHOR = {Browne, M.C. and Clarke, E.M. and Grumberg, O.},
TITLE = {Reasoning about networks with many identical finite state processes},
JOURNAL = {Inf.~Comput.},
VOLUME = {81},
NUMBER = {1},
PAGES = {13-31},
YEAR = {1989},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Gibbons-Rytter/89,
AUTHOR = {Gibbons, Alan and Rytter, Wojciech},
TITLE = {Optimal parallel algorithms for dynamic expression evaluation and context-free recognition},
JOURNAL = {Inf.~Comput.},
VOLUME = {81},
NUMBER = {1},
PAGES = {32-45},
YEAR = {1989},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Fraenkel/89,
AUTHOR = {Fraenkel, Aviezri S.},
TITLE = {The use and usefulness of numeration systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {81},
NUMBER = {1},
PAGES = {46-61},
YEAR = {1989},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ko/89a,
AUTHOR = {Ko, Ker-I},
TITLE = {Distinguishing conjunctive and disjunctive reducibilities by sparse sets},
JOURNAL = {Inf.~Comput.},
VOLUME = {81},
NUMBER = {1},
PAGES = {62-87},
YEAR = {1989},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Engelfriet-Leh/89,
AUTHOR = {Engelfriet, Joost and Leh, George},
TITLE = {Linear graph grammars: Power and complexity},
JOURNAL = {Inf.~Comput.},
VOLUME = {81},
NUMBER = {1},
PAGES = {88-121},
YEAR = {1989},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Coquand-Gunter-Winskel/89,
AUTHOR = {Coquand, Thierry and Gunter, Carl and Winskel, Glynn},
TITLE = {Domain theoretic models of polymorphism},
JOURNAL = {Inf.~Comput.},
VOLUME = {81},
NUMBER = {2},
PAGES = {123-167},
YEAR = {1989},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Abrusci-Mascari/89,
AUTHOR = {Abrusci, V. Michele and Mascari, Gianfranco},
TITLE = {A logic of recursion},
JOURNAL = {Inf.~Comput.},
VOLUME = {81},
NUMBER = {2},
PAGES = {168-226},
YEAR = {1989},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Milner/89,
AUTHOR = {Milner, Robin},
TITLE = {A complete axiomatization for observational congruence of finite-state behaviours},
JOURNAL = {Inf.~Comput.},
VOLUME = {81},
NUMBER = {2},
PAGES = {227-247},
YEAR = {1989},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Streett-Emerson/89,
AUTHOR = {Streett, Robert S. and Emerson, E. Allen},
TITLE = {An automata theoretic decision procedure for the propositional Mu-calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {81},
NUMBER = {3},
PAGES = {249-264},
YEAR = {1989},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Senizergues/89,
AUTHOR = {S{\'e}nizergues, G.},
TITLE = {Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {81},
NUMBER = {3},
PAGES = {265-279},
YEAR = {1989},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Istrail/89,
AUTHOR = {Istrail, Sorin},
TITLE = {An arithmetical hierarchy in propositional dynamic logic},
JOURNAL = {Inf.~Comput.},
VOLUME = {81},
NUMBER = {3},
PAGES = {280-289},
YEAR = {1989},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hrbacek/89,
AUTHOR = {Hrbacek, Karel},
TITLE = {Convex powerdomains II},
JOURNAL = {Inf.~Comput.},
VOLUME = {81},
NUMBER = {3},
PAGES = {290-317},
YEAR = {1989},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Coppersmith-Raghavan-Tompa/89,
AUTHOR = {Coppersmith, Don and Raghavan, Prabhakar and Tompa, Martin},
TITLE = {Parallel graph algorithms that are efficient on average},
JOURNAL = {Inf.~Comput.},
VOLUME = {81},
NUMBER = {3},
PAGES = {318-333},
YEAR = {1989},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Cole-Vishkin/89,
AUTHOR = {Cole, Richard and Vishkin, Uzi},
TITLE = {Faster optimal parallel prefix sums and list ranking},
JOURNAL = {Inf.~Comput.},
VOLUME = {81},
NUMBER = {3},
PAGES = {334-352},
YEAR = {1989},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Schnitzlein-Stoss/89,
AUTHOR = {Schnitzlein, W. and Stoss, H.-J.},
TITLE = {Linear-time simulation of multihead Turing machines},
JOURNAL = {Inf.~Comput.},
VOLUME = {81},
NUMBER = {3},
PAGES = {353-363},
YEAR = {1989},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Willard-Reif/89,
AUTHOR = {Willard, Dan E. and Reif, John H.},
TITLE = {Parallel processing can be harmful: The unusual behavior of interpolation search},
JOURNAL = {Inf.~Comput.},
VOLUME = {81},
NUMBER = {3},
PAGES = {364-379},
YEAR = {1989},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}