Information and Control
, 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
Andrzej Ehrenfeucht
,
Grzegorz Rozenberg
:
Repetition of Subwords in DOL Languages.
13-35
Matthew Hennessy
:
Synchronous and Asynchronous Experiments on Processes.
36-83
Imre Bárány
,
Zoltán Füredi
:
Mental Poker with Three or More Players.
84-93
Alexei P. Stolboushkin
:
Regular Dynamic Logic Is Not Interpretable in Deterministic Context-Free Dynamic Logic.
94-107
Hartmut Schmeck
:
Algebraic Semantics of Recursive Flowchart Schemes.
108-126
Henk Barendregt
,
Adrian Rezus
:
Semantics for Classical AUTOMATH and Related Systems.
127-147
Ludwig Staiger
:
Subspaces of GF(q)^w and Convolutional Codes.
148-183
Jürgen Weiss
:
An n^3/2 Lower Bound on the Monotone Network Complexity of the Boolean Convolution.
184-188
Last update Mon May 20 00:59:19 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page