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=65
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Normalization and axiomatization for numerical dependencies
J. Grant
,
J. Minker
Information and Control
65
(1), 1985, pp. 1-17
The equivalence problem and correctness formulas for a simple class of programs
O.H. Ibarra
,
L.E. Rosier
Information and Control
65
(1), 1985, pp. 18-41
On simple programs with primitive conditional statements
O.H. Ibarra
,
L.E. Rosier
Information and Control
65
(1), 1985, pp. 42-62
Sublattices of the polynomial time degrees
K. Ambos-Spies
Information and Control
65
(1), 1985, pp. 63-84
Logical relations and the typed
\lambda
-calculus
R. Statman
Information and Control
65
(2/3), 1985, pp. 85-97
Definability by deterministic and non-deterministic programs (with applications to first-order dynamic logic)
A.J. Kfoury
Information and Control
65
(2/3), 1985, pp. 98-121
Computing with rewrite systems
N. Dershowitz
Information and Control
65
(2/3), 1985, pp. 122-157
Sparse sets in NP-P: EXPTIME versus NEXPTIME
J. Hartmanis
,
N. Immerman
,
V. Sewelson
Information and Control
65
(2/3), 1985, pp. 158-181
Semantic confluence tests and completion methods
D.A. Plaisted
Information and Control
65
(2/3), 1985, pp. 182-215