@article{Davis/82,
AUTHOR = {Davis, Martin},
TITLE = {Why {G{\"o}del} Didn't Have {C}hurch's Thesis},
JOURNAL = {Inf.~Control},
VOLUME = {54},
NUMBER = {1/2},
PAGES = {3-24},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Blair/82,
AUTHOR = {Blair, Howard A.},
TITLE = {The Recursion-Theoretical Complexity of the Semantics of Predicate Logic as a Programming Language},
JOURNAL = {Inf.~Control},
VOLUME = {54},
NUMBER = {1/2},
PAGES = {25-47},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Manders-Daley/82,
AUTHOR = {Manders, Kenneth L. and Daley, Robert R.},
TITLE = {The Complexity of the Validity Problem for Dynamic Logic},
JOURNAL = {Inf.~Control},
VOLUME = {54},
NUMBER = {1/2},
PAGES = {48-69},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{de_Bakker-Zucker/82a,
AUTHOR = {de Bakker, J.W. and Zucker, J.I.},
TITLE = {Processes and the Denotational Semantics of Concurrency},
JOURNAL = {Inf.~Control},
VOLUME = {54},
NUMBER = {1/2},
PAGES = {70-120},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Streett/82a,
AUTHOR = {Streett, Robert S.},
TITLE = {Propositional Dynamic Logic of Looping and Converse Is Elementarily Decidable},
JOURNAL = {Inf.~Control},
VOLUME = {54},
NUMBER = {1/2},
PAGES = {121-141},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Zachos/82,
AUTHOR = {Zachos, Stathis},
TITLE = {Robustness of probabilistic computational complexity classes under definitional perturbations},
JOURNAL = {Inf.~Control},
VOLUME = {54},
NUMBER = {3},
PAGES = {143-154},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Maurer-Rozenberg-Welzl/82,
AUTHOR = {Maurer, H.A. and Rozenberg, G. and Welzl, E.},
TITLE = {Using String Languages to Describe Picture Languages},
JOURNAL = {Inf.~Control},
VOLUME = {54},
NUMBER = {3},
PAGES = {155-185},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bergstra-Tucker/82,
AUTHOR = {Bergstra, J.A. and Tucker, J.V.},
TITLE = {The Completeness of the Algebraic Specification Methods for Computable Data Types},
JOURNAL = {Inf.~Control},
VOLUME = {54},
NUMBER = {3},
PAGES = {186-200},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ronchi_Della_Rocca/82,
AUTHOR = {Ronchi Della Rocca, Simonetta},
TITLE = {Characterization Theorems for a Filter Lambda Model},
JOURNAL = {Inf.~Control},
VOLUME = {54},
NUMBER = {3},
PAGES = {201-216},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Duris-Galil/82,
AUTHOR = {D{\'u}ri{\v{s}}, Pavol and Galil, Zvi},
TITLE = {On Reversal-Bounded Counter Machines and on Pushdown Automata with a Bound on the Size of their Pushdown Store},
JOURNAL = {Inf.~Control},
VOLUME = {54},
NUMBER = {3},
PAGES = {217-227},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}