Publications of the Project F1302
TechRepMisc - 2002
September 27, 2008
TechRepMisc - 2002
September 27, 2008
Bibliography
- 1
- Kusper, Schreiner, and Lovas.
Integrating temporal specifications as runtime assertions into parallel debugging tools.
Technical report, RISC, 2002.
Technical Report 02-07, RISC-Linz. - 2
- G. Kusper.
Solving the sat problem by hyper-unit propagation.
RISC Linz Report Series 02-02, Research Institute for Symbolic Computation, J. Kepler University Linz, 2002. - 3
- T. Kutsia.
Unification in a free theory with sequence variables and flexible arity symbols and its extensions.
Technical report, Johannes Kepler University, Linz, 2002.
SFB Report 02-6.
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