Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Inf.~Control AND Volume=59
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The Satisfiability Problem for a Class Consisting of Horn Sentences and Some Non-Horn Sentences in Proportional Logic
Susumu Yamasaki
,
Shuji Doshita
Information and Control
59
(1-3), 1983, pp. 1-12
Repetition of Subwords in DOL Languages
A. Ehrenfeucht
,
G. Rozenberg
Information and Control
59
(1-3), 1983, pp. 13-35
Synchronous and Asynchronous Experiments on Processes
M. Hennessy
Information and Control
59
(1-3), 1983, pp. 36-83
Mental Poker with Three or More Players
Imre Bárány
,
Zoltán Füredi
Information and Control
59
(1-3), 1983, pp. 84-93
Regular Dynamic Logic Is Not Interpretable in Deterministic Context-Free Dynamic Logic
A.P. Stolboushkin
Information and Control
59
(1-3), 1983, pp. 94-107
Algebraic Semantics of Recursive Flowchart Schemes
Hartmut Schmeck
Information and Control
59
(1-3), 1983, pp. 108-126
Semantics for Classical AUTOMATH and Related Systems
Henk Barendregt
,
Adrian Rezus
Information and Control
59
(1-3), 1983, pp. 127-147
Subspaces of
{\rm GF}(q)^w
and Convolutional Codes
Ludwig Staiger
Information and Control
59
(1-3), 1983, pp. 148-183
An
n^{3/2}
Lower Bound on the Monotone Network Complexity of the Boolean Convolution
Jürgen Weiss
Information and Control
59
(1-3), 1983, pp. 184-188