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=342
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Containers: Constructing strictly positive types
Michael Abbott
,
Thorsten Altenkirch
,
Neil Ghani
Theoretical Computer Science
342
(1), 2005, pp. 3-27
On a monadic semantics for freshness
Mark R. Shinwell
,
Andrew M. Pitts
Theoretical Computer Science
342
(1), 2005, pp. 28-55
Extracting a data flow analyser in constructive logic
David Cachera
,
Thomas Jensen
,
David Pichardie
,
Vlad Rusu
Theoretical Computer Science
342
(1), 2005, pp. 56-78
Weak linearization of the lambda calculus
Sandra Alves
,
Mário Florido
Theoretical Computer Science
342
(1), 2005, pp. 79-103
Modelling dynamic web data
Philippa Gardner
,
Sergio Maffeis
Theoretical Computer Science
342
(1), 2005, pp. 104-131
Locally Boolean domains
J. Laird
Theoretical Computer Science
342
(1), 2005, pp. 132-148
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
Mads Sig Ager
,
Olivier Danvy
,
Jan Midtgaard
Theoretical Computer Science
342
(1), 2005, pp. 149-172
The recognizability of sets of graphs is a robust property
Bruno Courcelle
,
Pascal Weil
Theoretical Computer Science
342
(2-3), 2005, pp. 173-228
Bisimulation relations for dynamical, control, and hybrid systems
Esfandiar Haghverdi
,
Paulo Tabuada
,
George J. Pappas
Theoretical Computer Science
342
(2-3), 2005, pp. 229-261
Precedence-inclusion patterns and relational learning
Frank J. Oles
Theoretical Computer Science
342
(2-3), 2005, pp. 262-315
Probabilistic temporal logics via the modal mu-calculus
Rance Cleaveland
,
S. Purushothaman Iyer
,
Murali Narasimha
Theoretical Computer Science
342
(2-3), 2005, pp. 316-350
Any-world assumptions in logic programming
Yann Loyer
,
Umberto Straccia
Theoretical Computer Science
342
(2-3), 2005, pp. 351-381
Temporal stratification tests for linear and branching-time deductive databases
Christos Nomikos
,
Panos Rondogiannis
,
Manolis Gergatsoulis
Theoretical Computer Science
342
(2-3), 2005, pp. 382-415