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 YEAR=1996
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
Lambda terms definable as combinators
M.W. Bunder
Theoretical Computer Science
169
(1), 1996, pp. 3-21
The logic engine and the realization problem for nearest neighbor graphs
Peter Eades
,
Sue Whitesides
Theoretical Computer Science
169
(1), 1996, pp. 23-37
Formal specification of parallel SIMD execution
C.A. Farrell
,
D.H. Kieronska
Theoretical Computer Science
169
(1), 1996, pp. 39-65
Computing downwards accumulations on trees quickly
Jeremy Gibbons
Theoretical Computer Science
169
(1), 1996, pp. 67-80
The Qu-Prolog unification algorithm: Formalisation and correctness
Peter Nickolas
,
Peter J. Robinson
Theoretical Computer Science
169
(1), 1996, pp. 81-112
See more through lenses than bananas
La Monte H. Yarroll
Theoretical Computer Science
169
(1), 1996, pp. 113-121
On the complementation of asynchronous cellular Büchi automata
Anca Muscholl
Theoretical Computer Science
169
(2), 1996, pp. 123-145
A fast randomized LOGSPACE algorithm for graph connectivity
Uriel Feige
Theoretical Computer Science
169
(2), 1996, pp. 147-160
Complexity results for two-way and multi-pebble automata and their logics
Noa Globerman
,
David Harel
Theoretical Computer Science
169
(2), 1996, pp. 161-184
Polynomial closure of group languages and open sets of the Hall topology
Jean-Eric Pin
Theoretical Computer Science
169
(2), 1996, pp. 185-200
Combining algebraic rewriting, extensional lambda calculi, and fixpoints
Roberto Di Cosmo
,
Delia Kesner
Theoretical Computer Science
169
(2), 1996, pp. 201-220
Seiten 1
2
3
4
5
6
7
8
9
10
11
>