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=517
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Tackling continuous state-space explosion in a Markovian process algebra
Max Tschaikowski
,
Mirco Tribastone
Theoretical Computer Science
517
, 2014, pp. 1-33
Semantic types and approximation for Featherweight Java
Reuben N.S. Rowe
,
S.J. van Bakel
Theoretical Computer Science
517
, 2014, pp. 34-74
An observationally complete program logic for imperative higher-order functions
Kohei Honda
,
Nobuko Yoshida
,
Martin Berger
Theoretical Computer Science
517
, 2014, pp. 75-101
Parameterisation for abstract structured specifications
Ionuţ Ţuţu
Theoretical Computer Science
517
, 2014, pp. 102-142