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


MasterThesis


September 27, 2008

Bibliography

1
M. Erascu.
Algorithm Analysis Using Logical and Algebraic Techniques.
Master's thesis, RISC, University of Linz, Austria, 2007.
ongoing.
2
Y. W. Feng.
A Java infrastructure for pattern based programming.
Master's thesis, RISC, University of Linz, Austria, 2007.
ongoing.
3
M. Kirchner.
Program verification within Theorema.
Master's thesis, FHS-Hagenberg, 1999.
4
F. Kossak.
An interface for interactive proving with the mathematical software system Theorema.
Master's thesis, FHS-Hagenberg, 1999.
5
C. Lindinger.
Using cave technology for the illustration of abstract mathematical concepts.
Master's thesis, Johannes Kepler University Linz, RISC, 2001.
6
L. Lukacs.
Automated Analysis of Program Code Properties for Code Search on the Web.
Master's thesis, RISC, University of Linz, Austria, 2007.
ongoing.
7
G. Mayrhofer.
An Inductive Prover for Logical Formulae.
Master's thesis, RISC, University of Linz, Austria, 2007.
ongoing.
8
H. T. Ping.
Translation of pattern based programs into Lisp.
Master's thesis, RISC, University of Linz, Austria, 2007.
ongoing.



Please direct your comments or eventual problem reports to webmaster.
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund