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=68
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On specifications, theories, and models with higher types
A. Poigné
Information and Control
68
(1-3), 1986, pp. 1-46
Probabilistic analysis of a network resource allocation algorithm
N.A. Lynch
,
N.D. Griffeth
,
M.J. Fischer
,
L.J. Guibas
Information and Control
68
(1-3), 1986, pp. 47-85
Relational queries computable in polynomial time
N. Immerman
Information and Control
68
(1-3), 1986, pp. 86-104
New upper bounds for neighbor searching
B. Chazelle
,
R. Cole
,
F.P. Preparata
,
C. Yap
Information and Control
68
(1-3), 1986, pp. 105-124
A modal characterization of observational congruence on finite terms of CCS
S. Graf
,
J. Sifakis
Information and Control
68
(1-3), 1986, pp. 125-145
A polynomial jump operator
M. Townsend
Information and Control
68
(1-3), 1986, pp. 146-169
Sorting Jordan sequences in linear time using level-linked search trees
K. Hoffmann
,
K. Mehlhorn
,
P. Rosenstiehl
,
R.E. Tarjan
Information and Control
68
(1-3), 1986, pp. 170-184
The position of index sets of identifiable sets in the arithmetical hierarchy
U. Brandt
Information and Control
68
(1-3), 1986, pp. 185-195
A superexponential lower bound for Gröbner bases and Church-Rosser commutative Thue systems
D.T. Huynh
Information and Control
68
(1-3), 1986, pp. 196-206
An optimally data efficient isomorphism inference algorithm
P.A. Flanagan
Information and Control
68
(1-3), 1986, pp. 207-222
Syntax directed analysis of liveness properties of while programs
K.R. Apt
,
C. Delporte-Gallet
Information and Control
68
(1-3), 1986, pp. 223-253
A logic for the description of non-deterministic programs and their properties
S. Graf
,
J. Sifakis
Information and Control
68
(1-3), 1986, pp. 254-270