The SFB program expired on September 30, 2008. For the link to the successor project click DK Computational Mathematics
Home
Appointments
Papers
Misc
Contact

Technical Reports

Publication Lists

Annual Reports


Publications of the Project F1302


TechRepMisc - 2005


September 27, 2008

Bibliography

1
B. Buchberger.
Ein dank an meine schule, June 2005.
2
L. Kovacs, November 18-19 2005.
British Computer Society (BSC) - Formal Aspects of Computing Science (FACS) award. (Joint work with T. Jebelean and N. Popov).
3
L. Kovacs.
Using combinatorial and algebraic techniques for automatic generation of loop invariants.
Technical Report 05-16, RISC Report Series, University of Linz, Austria, 2005.
4
T. Kutsia and B. Buchberger.
Predicate logic with sequence variables and sequence function symbols.
Technical Report 05-17, RISC Report Series, University of Linz, Austria, 2005.
5
T. Kutsia and M. Marin.
Matching with regular constraints.
Technical Report 05-05, RISC Report Series, University of Linz, Austria, 2005.
6
N. Popov.
Verification of simple recursive programs in Theorema: Completeness of the method.
Technical Report 05-06, RISC Report Series, University of Linz, Austria, June 2005.
7
W. Windsteiger.
Wie erfinde ich mathematische algorithmen? wie beweise ich mathematische algorithmen?
Technical Report 05-18, RISC Report Series, University of Linz, Austria, December 2005.
Presentation slides for a presentation given at Schwerpunktfach Mathematik, Europagymnasium Auhof, December 15, 2005.




Please direct your comments or eventual problem reports to webmaster.

SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund