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=170
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Interval logics and their decision procedures - Part II: A real-time interval logic
Y.S. Ramakrishna
,
P.M. Melliar-Smith
,
L.E. Moser
,
L.K. Dillon
,
G. Kutty
Theoretical Computer Science
170
(1-2), 1996, pp. 1-46
Confluence for process verification
J.F. Groote
,
M.P.A. Sellink
Theoretical Computer Science
170
(1-2), 1996, pp. 47-81
Filter models for conjunctive-disjunctive
\lambda
-calculi
Mariangiola Dezani-Ciancaglini
,
Ugo de'Liguoro
,
Adolfo Piperno
Theoretical Computer Science
170
(1-2), 1996, pp. 83-128
Tractability of cut-free Gentzen type propositional calculus with permutation inference
Noriko H. Arai
Theoretical Computer Science
170
(1-2), 1996, pp. 129-144
Metric completion versus ideal completion
Mila E. Majster-Cederbaum
,
Christel Baier
Theoretical Computer Science
170
(1-2), 1996, pp. 145-171
Intersection type assignment systems with higher-order algebraic rewriting
Franco Barbanera
,
Maribel Fernández
Theoretical Computer Science
170
(1-2), 1996, pp. 173-207
Graph theoretical structures in logic programs and default theories
Yannis Dimopoulos
,
Alberto Torres
Theoretical Computer Science
170
(1-2), 1996, pp. 209-244
Using induction and rewriting to verify and complete parameterized specifications
Adel Bouhoula
Theoretical Computer Science
170
(1-2), 1996, pp. 245-276
An axiomatization of the algebra of Petri net concatenable processes
Vladimiro Sassone
Theoretical Computer Science
170
(1-2), 1996, pp. 277-296
Models for concurrency: Towards a classification
Vladimiro Sassone
,
Mogens Nielsen
,
Glynn Winskel
Theoretical Computer Science
170
(1-2), 1996, pp. 297-348
Elements of generalized ultrametric domain theory
J.J.M.M. Rutten
Theoretical Computer Science
170
(1-2), 1996, pp. 349-381
Iterative belief revision in extended logic programming
Jia-Huai You
,
Robert Cartwright
,
Ming Li
Theoretical Computer Science
170
(1-2), 1996, pp. 383-406
Towards a proof theory of rewriting: The simply typed
2\lambda
-calculus
Barnaby P. Hilken
Theoretical Computer Science
170
(1-2), 1996, pp. 407-444
Deciding bisimulation and trace equivalences for systems with many identical processes
Hsu-Chen Yen
,
Shi-Tsuen Jian
,
Ta-Pang Lao
Theoretical Computer Science
170
(1-2), 1996, pp. 445-464