Information and Computation, Volume 59

Volume 59, Number 1-3, 1983

• Susumu Yamasaki, Shuji Doshita: The Satisfiability Problem for a Class Consisting of Horn Sentences and Some Non-Horn Sentences in Proportional Logic. 1-12 BibTeX
• Andrzej Ehrenfeucht, Grzegorz Rozenberg: Repetition of Subwords in DOL Languages. 13-35 BibTeX
• Matthew Hennessy: Synchronous and Asynchronous Experiments on Processes. 36-83 BibTeX
• Imre Bárány, Zoltán Füredi: Mental Poker with Three or More Players. 84-93 BibTeX
• Alexei P. Stolboushkin: Regular Dynamic Logic Is Not Interpretable in Deterministic Context-Free Dynamic Logic. 94-107 BibTeX
• Hartmut Schmeck: Algebraic Semantics of Recursive Flowchart Schemes. 108-126 BibTeX
• Henk Barendregt, Adrian Rezus: Semantics for Classical AUTOMATH and Related Systems. 127-147 BibTeX
• Ludwig Staiger: Subspaces of GF(q)^w and Convolutional Codes. 148-183 BibTeX
• Jürgen Weiss: An n^3/2 Lower Bound on the Monotone Network Complexity of the Boolean Convolution. 184-188 BibTeX