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=152
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Intensional aspects of function definitions
Daniel Fredholm
Theoretical Computer Science
152
(1), 1995, pp. 1-66
The meaning of specifications I: Domains and initial models
Wilfrid Hodges
Theoretical Computer Science
152
(1), 1995, pp. 67-89
Free objects and equational deduction for partial conditional specifications
Egidio Astesiano
,
Maura Cerioli
Theoretical Computer Science
152
(1), 1995, pp. 91-138
Mudularity in noncopying term rewriting
Masahito Kurihara
,
Azuma Ohuchi
Theoretical Computer Science
152
(1), 1995, pp. 139-169
A clculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems
Albert Benveniste
,
Bernard C. Levy
,
Eric Fabre
,
Paul le Guernic
Theoretical Computer Science
152
(2), 1995, pp. 171-217
Probabilistic communicating processes
Karen Seidel
Theoretical Computer Science
152
(2), 1995, pp. 219-249
A complete axiomatization of timed bisimulation for a class of timed regular behaviours
Luca Aceto
,
Alan Jeffrey
Theoretical Computer Science
152
(2), 1995, pp. 251-268
Transformations and confluence for rewrite systems
Rakesh M. Verma
Theoretical Computer Science
152
(2), 1995, pp. 269-283
Infinite normal forms for non-linear term rewriting systems
Paola Inverardi
,
Monica Nesi
Theoretical Computer Science
152
(2), 1995, pp. 285-303
Locating the contractum in the double pushout approach
R. Banach
Theoretical Computer Science
152
(2), 1995, pp. 305-320