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=316
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On coalgebra based on classes
Jiȓí Adámek
,
Stefan Milius
,
Jiȓí Velebil
Theoretical Computer Science
316
(1-3), 2004, pp. 3-23
Intersection types and domain operators
Fabio Alessi
,
Mariangiola Dezani-Ciancaglini
,
Stefania Lusin
Theoretical Computer Science
316
(1-3), 2004, pp. 25-47
Behavioural inverse limit
\lambda
-models
Mariangiola Dezani-Ciancaglini
,
Silvia Ghilezan
,
Silvia Likavec
Theoretical Computer Science
316
(1-3), 2004, pp. 49-74
Idempotent analysis and continuous semilattices
Jimmie D. Lawson
Theoretical Computer Science
316
(1-3), 2004, pp. 75-87
Posets having continuous intervals
Jimmie D. Lawson
,
Luoshan Xu
Theoretical Computer Science
316
(1-3), 2004, pp. 89-103
Left and right adjoint operations on spaces and data types
F. William Lawvere
Theoretical Computer Science
316
(1-3), 2004, pp. 105-111
On the relationship between compact regularity and Gentzen's cut rule
M. Andrew Moshier
Theoretical Computer Science
316
(1-3), 2004, pp. 113-136
Hierarchies of total functionals over the reals
Dag Normann
Theoretical Computer Science
316
(1-3), 2004, pp. 137-151
Domain theory for concurrency
Mikkel Nygaard
,
Glynn Winskel
Theoretical Computer Science
316
(1-3), 2004, pp. 153-190
Semantics and logic of object calculi
Bernhard Reus
,
Thomas Streicher
Theoretical Computer Science
316
(1-3), 2004, pp. 191-213
Polynat in PER models
Ivar Rummelhoff
Theoretical Computer Science
316
(1-3), 2004, pp. 215-224
Presenting locale pullback via directed complete posets
C.F. Townsend
Theoretical Computer Science
316
(1-3), 2004, pp. 225-258
Entailment systems for stably locally compact locales
Steven Vickers
Theoretical Computer Science
316
(1-3), 2004, pp. 259-296
A universal characterization of the double powerlocale
S.J. Vickers
,
C.F. Townsend
Theoretical Computer Science
316
(1-3), 2004, pp. 297-321