@article{Hay/82,
AUTHOR = {Hay, Louise},
TITLE = {On the Recursion-Theoretic Complexity of Relative Succinctness of Representations of Languages},
JOURNAL = {Inf.~Control},
VOLUME = {52},
NUMBER = {1},
PAGES = {2-7},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Soare/82,
AUTHOR = {Soare, Robert I.},
TITLE = {Computational Complexity of Recursively Enumerable Sets},
JOURNAL = {Inf.~Control},
VOLUME = {52},
NUMBER = {1},
PAGES = {8-18},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Menzel-Sperschneider/82,
AUTHOR = {Menzel, W. and Sperschneider, V.},
TITLE = {Universal Automata with Uniform Bounds on Simulation Time},
JOURNAL = {Inf.~Control},
VOLUME = {52},
NUMBER = {1},
PAGES = {19-35},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Selman/82a,
AUTHOR = {Selman, Alan L.},
TITLE = {Analogues of Semicursive Sets and Effective Reducibilities to the Study of $NP$ Complexity},
JOURNAL = {Inf.~Control},
VOLUME = {52},
NUMBER = {1},
PAGES = {36-51},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Daley/82,
AUTHOR = {Daley, Robert P.},
TITLE = {Busy Beaver Sets: Characterizations and Applications},
JOURNAL = {Inf.~Control},
VOLUME = {52},
NUMBER = {1},
PAGES = {52-67},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Chen/82,
AUTHOR = {Chen, Keh-Jiann},
TITLE = {Tradeoffs in the Inductive Inference of Nearly Minimal Size Programs},
JOURNAL = {Inf.~Control},
VOLUME = {52},
NUMBER = {1},
PAGES = {68-86},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Osherson-Wienstein/82,
AUTHOR = {Osherson, Daniel N. and Wienstein, Scott},
TITLE = {Criteria of Language Learning},
JOURNAL = {Inf.~Control},
VOLUME = {52},
NUMBER = {2},
PAGES = {123-138},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Arbib-Manes/82a,
AUTHOR = {Arbib, Michael A. and Manes, Ernest G.},
TITLE = {Parametrized Data Types Do Not Need Highly Constrained Parameters},
JOURNAL = {Inf.~Control},
VOLUME = {52},
NUMBER = {2},
PAGES = {139-158},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bergstra-Chmielinska-Tiuryn/82,
AUTHOR = {Bergstra, Jan and Chmielinska, Anna and Tiuryn, Jerzy},
TITLE = {Another Incompleteness Result for {H}oare's Logic},
JOURNAL = {Inf.~Control},
VOLUME = {52},
NUMBER = {2},
PAGES = {159-171},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Albert-Culik-Karhumaki/82,
AUTHOR = {Albert, J. and {\v{C}}ul{\'i}k II, K. and Karhum{\"a}ki, J.},
TITLE = {Test Sets for Context Free Languages and Algebraic Systems of Equations over a Free Monoid},
JOURNAL = {Inf.~Control},
VOLUME = {52},
NUMBER = {2},
PAGES = {172-186},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Tomita/82,
AUTHOR = {Tomita, Etsuji},
TITLE = {A Direct Branching Algorithm for Checking Equivalence of Some Classes of Deterministic Pushdown Automata},
JOURNAL = {Inf.~Control},
VOLUME = {52},
NUMBER = {2},
PAGES = {187-238},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Borodin-Gathen-Hopcroft/82,
AUTHOR = {Borodin, A. and Gathen, J. von zur and Hopcroft, J.},
TITLE = {Fast parallel matrix and GCD computations},
JOURNAL = {Inf.~Control},
VOLUME = {52},
PAGES = {241-256},
YEAR = {1982},
}
@article{Dolev-Fischer-Fowler-Lynch-Strong/82,
AUTHOR = {Dolev, Danny and Fischer, Michael and Fowler, Rob and Lynch, Nancy and Strong, H. Raymond},
TITLE = {An Efficient {B}yzantine Agreement Without Authentication},
JOURNAL = {Inf.~Control},
VOLUME = {52},
NUMBER = {3},
PAGES = {257-274},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Courcelle-Franchi-Zannettacci/82a,
AUTHOR = {Courcelle, Bruno and Franchi-Zannettacci, Paul},
TITLE = {On the Equivalence Problem for Attribute Systems},
JOURNAL = {Inf.~Control},
VOLUME = {52},
NUMBER = {3},
PAGES = {275-305},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Koymans/82,
AUTHOR = {Koymans, C.P.J.},
TITLE = {Models of the Lambda Calculus},
JOURNAL = {Inf.~Control},
VOLUME = {52},
NUMBER = {3},
PAGES = {306-332},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Butzer-Engels/82,
AUTHOR = {Butzer, P.L. and Engels, W.},
TITLE = {Dyadic Calculus and Sampling Theorems for Functions with Multidimensional Domain. {I}: General Theory},
JOURNAL = {Inf.~Control},
VOLUME = {52},
NUMBER = {3},
PAGES = {333-351},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Butzer-Engels/82a,
AUTHOR = {Butzer, P.L. and Engels, W.},
TITLE = {Dyadic Calculus and Sampling Theorems for Functions with Multidimensional Domain. {II}: Applications to Dyadic Sampling Representations},
JOURNAL = {Inf.~Control},
VOLUME = {52},
NUMBER = {3},
PAGES = {352-363},
YEAR = {1982},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}