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 [1]	Hilfe

Suche: Citkey="Ciabattoni-Metcalfe/08"

Theoretical Computer Science 403 (2-3), 2008, pp. 328-346

Editors		G. Ausiello, D. Sannella
Publisher:		Elsevier B.V.
Address:		Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis
Keywords:		hypersequents, sequents, cut elimination, density elimination, fuzzy logics
URL:		http://www.sciencedirect.com/science/article/B6V1G-4SMF03R-3/2/9daff39bc8b7987d6d284538768b8f3b