• search hit 33 of 68
Back to Result List

A Case Study on Termination

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Stephan Frank, Petra HofstedtGND, Pierre R. Mai
Title of the source (English):Termination, 6th International Workshop, WST 2003, Valencia, Spain, June 13 - 14, 2003, proceedings
Publisher:Universidad Politécnica de Valencia
Place of publication:Valencia
Editor: Albert Rubio
Document Type:Conference Proceeding
Language:English
Year of publication:2003
First Page:49
Last Page:51
Series ; volume number:Technical Report DSIC-II ; 15/03, Departamento de Sistemas Informáticos y Computación
Faculty/Chair:Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Programmiersprachen und Compilerbau
Institution name at the time of publication:Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Praktische Informatik / Programmiersprachen und Compilerbau
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.