TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 9.

Walther, Christoph ; Schweitzer, Stephan (2005)
Automated termination analysis for incompletely defined programs.
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2004). Montevideo, Uruguay (14.-18.03.2005)
Conference or Workshop Item, Bibliographie

Walther, Christoph ; Schweitzer, Stephan (2005)
Reasoning about incompletely defined programs.
12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2005). Montego Bay, Jamaica (02.-06.12.)
doi: 10.1007/11591191_30
Conference or Workshop Item, Bibliographie

Walther, Christoph ; Schweitzer, Stephan (2004)
Verification in the classroom.
In: Journal of Automated Reasoning, 32 (1)
doi: 10.1023/B:JARS.0000021872.64036.41
Article, Bibliographie

Walther, Christoph ; Schweitzer, Stephan (2003)
About VeriFun.
19th International Conference on Automated Deduction (CADE-19). Miami Beach, USA (28.07.-02.08.2003)
doi: 10.1007/978-3-540-45085-6_28
Conference or Workshop Item, Bibliographie

Walther, Christoph ; Schweitzer, Stephan (2003)
A Machine-Verified Code Generator.
10th Inter. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-10). Almaty, Kazakhstan (22.-26. Sept., 2003)
doi: 10.1007/978-3-540-39813-4_6
Conference or Workshop Item, Bibliographie

Walther, Christoph ; Schweitzer, Stephan (2002)
VeriFun user guide.
Report, Bibliographie

Walther, Christoph ; Schweitzer, Stephan (2002)
The VeriFun tutorial.
Report, Bibliographie

Walther, Christoph ; Schweitzer, Stephan (2002)
A machine supported proof of the unique prime factorization theorem.
Report, Bibliographie

Walther, Christoph ; Schweitzer, Stephan (2002)
A verification of binary search.
Report, Bibliographie

This list was generated on Tue Apr 23 01:24:48 2024 CEST.