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=480
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition
E. Badouel
,
R. Tchougong
,
C. Nkuimi-Jugnia
,
B. Fotsing
Theoretical Computer Science
480
, 2013, pp. 1-25
Proof theory for locally finite many-valued logics: Semi-projective logics
Agata Ciabattoni
,
Franco Montagna
Theoretical Computer Science
480
, 2013, pp. 26-42
Semantics and proof-theory of depth bounded Boolean logics
Marcello D'Agostino
,
Marcelo Finger
,
Dov Gabbay
Theoretical Computer Science
480
, 2013, pp. 43-68
Reducing behavioural to structural properties of programs with procedures
Dilian Gurov
,
Marieke Huisman
Theoretical Computer Science
480
, 2013, pp. 69-103
Rigorous approximated determinization of weighted automata
Benjamin Aminof
,
Orna Kupferman
,
Robby Lampert
Theoretical Computer Science
480
, 2013, pp. 104-117