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

Technical Reports

Publication Lists

Annual Reports

Publications of the Project F1302


PhdThesis - 2000


September 27, 2008

Bibliography

1

M. Marin.
Functional Logic Programming with Distributed Constraint Solving.
PhD thesis, RISC Institute, April 2000.

2

D. Vasaru-Dupré.
Automated Theorem Proving by Integrating Proving, Solving and Computing.
PhD thesis, RISC Institute, May 2000.
RISC report 00-19.

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