Publications of the Project F1302
TechRepMisc - 2005
September 27, 2008
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
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund