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=176
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Composition and behaviors of probabilistic I/O automata
Sue-Hwey Wu
,
Scott A. Smolka
,
Eugene W. Stark
Theoretical Computer Science
176
(1-2), 1997, pp. 1-38
A symbolic reachability graph for coloured Petri nets
G. Chiola
,
C. Dutheillet
,
G. Franceschinis
,
S. Haddad
Theoretical Computer Science
176
(1-2), 1997, pp. 39-65
The first-order theory of lexicographic path orderings is undecidable
Hubert Comon
,
Ralf Treinen
Theoretical Computer Science
176
(1-2), 1997, pp. 67-87
Limiting semantics of numerical programs
D.N. Hoover
Theoretical Computer Science
176
(1-2), 1997, pp. 89-110
Unification of infinite sets of terms schematized by primal grammars
Miki Hermann
,
Roman Galbavý
Theoretical Computer Science
176
(1-2), 1997, pp. 111-158
Experiments in linear natural deduction
Simone Martini
,
Andrea Masini
Theoretical Computer Science
176
(1-2), 1997, pp. 159-173
Monadic logic programs and funtional complexity
Armando B. Matos
Theoretical Computer Science
176
(1-2), 1997, pp. 175-204
Semantics for finite delay
Chrysafis Hartonas
Theoretical Computer Science
176
(1-2), 1997, pp. 205-234
Higher-order subtyping
Benjamin Pierce
,
Martin Steffen
Theoretical Computer Science
176
(1-2), 1997, pp. 235-282
Bounded fixpoints for complex objects
Dan Suciu
Theoretical Computer Science
176
(1-2), 1997, pp. 283-328
Representing inductively defined sets by wellorderings in Martin-Löf's type theory
Peter Dybjer
Theoretical Computer Science
176
(1-2), 1997, pp. 329-335
Unifying overloading and
\lambda
-abstraction:
\lambda^{\{\}}
Giuseppe Castagna
Theoretical Computer Science
176
(1-2), 1997, pp. 337-345
Minimality of the system of seven equations for the category of finite sets
A. Massol
Theoretical Computer Science
176
(1-2), 1997, pp. 347-353