@article{Maimiura/83,
AUTHOR = {Maimiura, Tsutomu},
TITLE = {Tree Automata and Attribute Grammars},
JOURNAL = {Inf.~Control},
VOLUME = {57},
NUMBER = {1},
PAGES = {1-20},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Huynh/83,
AUTHOR = {Huynh, Dung T.},
TITLE = {Commutative grammars: the complexity of uniform word problems},
JOURNAL = {Inf.~Control},
VOLUME = {57},
NUMBER = {1},
PAGES = {21-39},
YEAR = {1983, April},
}
@article{Kurtz/83,
AUTHOR = {Kurtz, Stuart A.},
TITLE = {On the Random Oracle Hypothesis},
JOURNAL = {Inf.~Control},
VOLUME = {57},
NUMBER = {1},
PAGES = {40-47},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Stolboushkin-Taitslin/83,
AUTHOR = {Stolboushkin, A.P. and Taitslin, M.A.},
TITLE = {Deterministic Dynamic Logic is Strictly Weaker than Dynamic Logic},
JOURNAL = {Inf.~Control},
VOLUME = {57},
NUMBER = {1},
PAGES = {48-55},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Halpern/83,
AUTHOR = {Halpern, Joseph Y.},
TITLE = {Deterministic Process Logic is Elementary},
JOURNAL = {Inf.~Control},
VOLUME = {57},
NUMBER = {1},
PAGES = {56-89},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Stockmeyer/83a,
AUTHOR = {Stockmeyer, Larry},
TITLE = {Optimal Orientations of Cells in Slicing Floorplan Designs},
JOURNAL = {Inf.~Control},
VOLUME = {57},
NUMBER = {2/3},
PAGES = {91-101},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Golson-Rounds/83,
AUTHOR = {Golson, William G. and Rounds, William C.},
TITLE = {Connections Between Two Theories of Concurrency: Metric Spaces and Synchronization Trees},
JOURNAL = {Inf.~Control},
VOLUME = {57},
NUMBER = {2/3},
PAGES = {102-124},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Goltz-Reisig/83,
AUTHOR = {Goltz, U. and Reisig, W.},
TITLE = {The Non-sequential Behavior of {P}etri Nets},
JOURNAL = {Inf.~Control},
VOLUME = {57},
NUMBER = {2/3},
PAGES = {125-147},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Wand/83,
AUTHOR = {Wand, Mitchell},
TITLE = {Loops in Combinator-Based Compilers},
JOURNAL = {Inf.~Control},
VOLUME = {57},
NUMBER = {2/3},
PAGES = {148-164},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Csirmaz/83,
AUTHOR = {Csirmaz, L.},
TITLE = {On the Strength of ``Sometimes'' and ``Always'' in Program Verification},
JOURNAL = {Inf.~Control},
VOLUME = {57},
NUMBER = {2/3},
PAGES = {165-179},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Grandjean/83,
AUTHOR = {Grandjean, Etienne},
TITLE = {Complexity of the First-Order Theory of Almost All Finite Structures},
JOURNAL = {Inf.~Control},
VOLUME = {57},
NUMBER = {2/3},
PAGES = {180-204},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Restivo-Reutenauer/83,
AUTHOR = {Restivo, Antonio and Reutenauer, Christophe},
TITLE = {Some Applications of a Theorem of {S}hirshov to Language Theory},
JOURNAL = {Inf.~Control},
VOLUME = {57},
NUMBER = {2/3},
PAGES = {205-213},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}