@article{Yamasaki-Doshita/83,
AUTHOR = {Yamasaki, Susumu and Doshita, Shuji},
TITLE = {The Satisfiability Problem for a Class Consisting of {H}orn Sentences and Some Non-{H}orn Sentences in Proportional Logic},
JOURNAL = {Inf.~Control},
VOLUME = {59},
NUMBER = {1-3},
PAGES = {1-12},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
NOTE = {see Erratum in Inf.~Control, Vol. 61, 174},
}
@article{Ehrenfeucht-Rozenberg/83,
AUTHOR = {Ehrenfeucht, A. and Rozenberg, G.},
TITLE = {Repetition of Subwords in DOL Languages},
JOURNAL = {Inf.~Control},
VOLUME = {59},
NUMBER = {1-3},
PAGES = {13-35},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Hennessy/83,
AUTHOR = {Hennessy, M.},
TITLE = {Synchronous and Asynchronous Experiments on Processes},
JOURNAL = {Inf.~Control},
VOLUME = {59},
NUMBER = {1-3},
PAGES = {36-83},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Barany-Furedi/83,
AUTHOR = {B{\'a}r{\'a}ny, Imre and F{\"u}redi, Zolt{\'a}n},
TITLE = {Mental Poker with Three or More Players},
JOURNAL = {Inf.~Control},
VOLUME = {59},
NUMBER = {1-3},
PAGES = {84-93},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Stolboushkin/83,
AUTHOR = {Stolboushkin, A.P.},
TITLE = {Regular Dynamic Logic Is Not Interpretable in Deterministic Context-Free Dynamic Logic},
JOURNAL = {Inf.~Control},
VOLUME = {59},
NUMBER = {1-3},
PAGES = {94-107},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Schmeck/83a,
AUTHOR = {Schmeck, Hartmut},
TITLE = {Algebraic Semantics of Recursive Flowchart Schemes},
JOURNAL = {Inf.~Control},
VOLUME = {59},
NUMBER = {1-3},
PAGES = {108-126},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Barendregt-Rezus/83,
AUTHOR = {Barendregt, Henk and Rezus, Adrian},
TITLE = {Semantics for Classical {AUTOMATH} and Related Systems},
JOURNAL = {Inf.~Control},
VOLUME = {59},
NUMBER = {1-3},
PAGES = {127-147},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Staiger/83a,
AUTHOR = {Staiger, Ludwig},
TITLE = {Subspaces of {${\rm GF}(q)^w$} and Convolutional Codes},
JOURNAL = {Inf.~Control},
VOLUME = {59},
NUMBER = {1-3},
PAGES = {148-183},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Weiss/83,
AUTHOR = {Weiss, J{\"u}rgen},
TITLE = {An $n^{3/2}$ Lower Bound on the Monotone Network Complexity of the {B}oolean Convolution},
JOURNAL = {Inf.~Control},
VOLUME = {59},
NUMBER = {1-3},
PAGES = {184-188},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lorenc-Lapins/83,
AUTHOR = {Lorenc, Aivar A. and Lapi{\c{n}}{\v{s}}, J{\=a}nis K.},
TITLE = {Discrete Random Process Stabilization},
JOURNAL = {Inf.~Control},
VOLUME = {58},
NUMBER = {1-3},
PAGES = {1-18},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Steyaert-Flajolet/83,
AUTHOR = {Steyaert, Jean-Marc and Flajolet, Philippe},
TITLE = {Patterns and Pattern-Matching in Trees: An Analysis},
JOURNAL = {Inf.~Control},
VOLUME = {58},
NUMBER = {1-3},
PAGES = {19-58},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Urzyczyn/83a,
AUTHOR = {Urzyczyn, Pawe{\l}},
TITLE = {Nontrivial Definability by Flow-Chart Programs},
JOURNAL = {Inf.~Control},
VOLUME = {58},
NUMBER = {1-3},
PAGES = {59-87},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Gasarch-Homer/83,
AUTHOR = {Gasarch, W. Ian and Homer, Steven},
TITLE = {Relativizations Comparing $NP$ and Exponential Time},
JOURNAL = {Inf.~Control},
VOLUME = {58},
NUMBER = {1-3},
PAGES = {88-100},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Cosmodakis/83,
AUTHOR = {Cosmodakis, Stavros},
TITLE = {The Complexity of Evaluating Relational Queries},
JOURNAL = {Inf.~Control},
VOLUME = {58},
NUMBER = {1-3},
PAGES = {101-112},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Borodin-Cook-Pippenger/83a,
AUTHOR = {Borodin, A. and Cook, S. and Pippenger, N.},
TITLE = {Parallel Computation for Well-Endowed Rings and Space-Bounded Probabilistic Machines},
JOURNAL = {Inf.~Control},
VOLUME = {58},
NUMBER = {1-3},
PAGES = {113-136},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Mehlhorn-Preparata/83a,
AUTHOR = {Mehlhorn, Kurt and Preparata, Franco P.},
TITLE = {Area-Time Optimal {VLSI} Integer Multiplier with Minimum Computation Time},
JOURNAL = {Inf.~Control},
VOLUME = {58},
NUMBER = {1-3},
PAGES = {137-156},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ko/83a,
AUTHOR = {Ko, Ker-I},
TITLE = {On the computational complexity of ordinary differential equations},
JOURNAL = {Inf.~Control},
VOLUME = {58},
NUMBER = {1-3},
PAGES = {157-194},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@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{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},
}
@article{Miller/83,
AUTHOR = {Miller, Gary L.},
TITLE = {Isomorphism of $k$-Contractible Graphs. A Generalization of Bounded Valence and Bounded Genus},
JOURNAL = {Inf.~Control},
VOLUME = {56},
NUMBER = {1/2},
PAGES = {1-20},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Miller/83a,
AUTHOR = {Miller, Gary L.},
TITLE = {Isomorphism of Graphs Which are Pairwise $k$-separable},
JOURNAL = {Inf.~Control},
VOLUME = {56},
NUMBER = {1/2},
PAGES = {21-33},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{von_Braunmuhl-Cook-Mehlhorn-Verbeek/83,
AUTHOR = {von Braunm{\"u}hl, Burchard and Cook, Stephen and Mehlhorn, Kurt and Verbeek, Rutger},
TITLE = {The Recognition of Deterministic {CFL}'s in Small Time and Space},
JOURNAL = {Inf.~Control},
VOLUME = {56},
NUMBER = {1/2},
PAGES = {34-51},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Davis-Weyuker/83,
AUTHOR = {Davis, Martin D. and Weyuker, Elaine J.},
TITLE = {A Formal Notion of Program-Based Test Data Adequacy},
JOURNAL = {Inf.~Control},
VOLUME = {56},
NUMBER = {1/2},
PAGES = {52-71},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Wolper/83,
AUTHOR = {Wolper, Pierre},
TITLE = {Temporal Logic Can Be More Expensive},
JOURNAL = {Inf.~Control},
VOLUME = {56},
NUMBER = {1/2},
PAGES = {72-99},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Case/83,
AUTHOR = {Case, John},
TITLE = {Pseudo-Extending Computable Functions},
JOURNAL = {Inf.~Control},
VOLUME = {56},
NUMBER = {1/2},
PAGES = {100-111},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Meyer-Mitchell/83,
AUTHOR = {Meyer, Albert R. and Mitchell, John C.},
TITLE = {Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability},
JOURNAL = {Inf.~Control},
VOLUME = {56},
NUMBER = {1/2},
PAGES = {112-138},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Culik-Salomaa/83,
AUTHOR = {{\v{C}}ul{\'i}k II, Karel and Salomaa, Arto},
TITLE = {Ambiguity and Decision Problems Concerning Number Systems},
JOURNAL = {Inf.~Control},
VOLUME = {56},
NUMBER = {3},
PAGES = {139-153},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Mitchell/83,
AUTHOR = {Mitchell, John C.},
TITLE = {The Implication Problem for Functional and Inclusion Dependencies},
JOURNAL = {Inf.~Control},
VOLUME = {56},
NUMBER = {3},
PAGES = {154-173},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Vishkin-Wigderson/83,
AUTHOR = {Vishkin, Uzi and Wigderson, Avi},
TITLE = {Dynamic Parallel Memories},
JOURNAL = {Inf.~Control},
VOLUME = {56},
NUMBER = {3},
PAGES = {174-182},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Galperin-Wigderson/83,
AUTHOR = {Galperin, Hana and Wigderson, Avi},
TITLE = {Succinct Representations of Graphs},
JOURNAL = {Inf.~Control},
VOLUME = {56},
NUMBER = {3},
PAGES = {183-198},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Witsenhausen-Wyner/83,
AUTHOR = {Witsenhausen, H.S. and Wyner, A.D.},
TITLE = {On Storage Media with Aftereffects},
JOURNAL = {Inf.~Control},
VOLUME = {56},
NUMBER = {3},
PAGES = {199-211},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
NOTE = {see Erratum in Inf.~Control, Vol. 58, 195},
}
@article{Urzyczyn/83,
AUTHOR = {Urzyczyn, Pawe{\l}},
TITLE = {A Necessary and Sufficient Condition in Order That a Herbrand Interpretation Be Expressive Relative to Recursive Programs},
JOURNAL = {Inf.~Control},
VOLUME = {56},
NUMBER = {3},
PAGES = {212-219},
YEAR = {1983},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}