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=Theor.~Comput.~Sci. AND Volume=59
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Narrowing vs.\ SLD-resolution
Pier Giorgio Bosco
,
Elio Giovannetti
,
Corrado Moiso
Theoretical Computer Science
59
, 1988, pp. 3-23
Concurrency and atomicity
G. Boudol
,
I. Castellani
Theoretical Computer Science
59
, 1988, pp. 25-84
Extensional models for polymorphism
Val Breazu-Tannen
,
Thierry Coquand
Theoretical Computer Science
59
, 1988, pp. 85-114
Characterizing finite Kripke structures in propositional temporal logic
M.C. Browne
,
E.M. Clarke
,
O. Grümberg
Theoretical Computer Science
59
, 1988, pp. 115-131
Inductive assertion method for logic programs
Wlodzimierz Drabent
,
Jan Maluszyński
Theoretical Computer Science
59
, 1988, pp. 133-155
The linear abstract machine
Y. Lafont
Theoretical Computer Science
59
, 1988, pp. 157-180
Principal type scheme and unification for intersection type discipline
Simona Ronchi della Rocca
Theoretical Computer Science
59
, 1988, pp. 181-209
Interpretations of recursion under unbounded nondeterminacy
Wim H. Hesselink
Theoretical Computer Science
59
, 1988, pp. 211-234
Deadlock and fairness in morphisms of transition systems
Wim H. Hesselink
Theoretical Computer Science
59
, 1988, pp. 235-257
Optimal dynamic embedding of X-trees into arrays
A. Scottedward Hodel
,
Michael C. Loui
Theoretical Computer Science
59
, 1988, pp. 259-276
The trace invariant and matrix inversion
K. Kalorkoti
Theoretical Computer Science
59
, 1988, pp. 277-286
Implication of clauses is undecidable
Manfred Schmidt-Schauss
Theoretical Computer Science
59
, 1988, pp. 287-296
On efficient parallel computations for some dynamic programming problems
Wojciech Rytter
Theoretical Computer Science
59
, 1988, pp. 297-307
Nonterminal bounded NLC graph grammars
Joost Engelfriet
,
George Leih
Theoretical Computer Science
59
, 1988, pp. 309-315
Substitution revisited
Allen Stoughton
Theoretical Computer Science
59
, 1988, pp. 317-325