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=564
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Bounded semantics
Wenhui Zhang
Theoretical Computer Science
564
, 2015, pp. 1-29
Algorithmic correspondence for intuitionistic modal mu-calculus
Willem Conradie
,
Yves Fomatati
,
Alessandra Palmigiano
,
Sumit Sourabh
Theoretical Computer Science
564
, 2015, pp. 30-62
Formal study of functional orbits in finite domains
Jean-François Dufourd
Theoretical Computer Science
564
, 2015, pp. 63-88
A derivative for complex Lipschitz maps with generalised Cauchy-Riemann equations
Abbas Edalat
Theoretical Computer Science
564
, 2015, pp. 89-106
Restricted default theories: Expressive power and outlier detection tasks
Fabrizio Angiulli
,
Rachel Ben-Eliyahu-Zohary
,
Luigi Palopoli
Theoretical Computer Science
564
, 2015, pp. 107-130
Parametric metric interval temporal logic
Barbara Di Giampaolo
,
Salvatore La Torre
,
Margherita Napoli
Theoretical Computer Science
564
, 2015, pp. 131-148