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


Article - 2006


September 27, 2008

Bibliography

1
B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, and W. Windsteiger.
Theorema: Towards computer-aided mathematical theory exploration.
Journal of Applied Logic, 4(4):470-504, 2006.
2
M. Giese.
Superposition-based equality handling for analytic tableaux.
Journal of Automated Reasoning, 38(1-3):127-153, December 2006.
Appeared online 2 December 2006, in print April 2007.
3
T. Jebelean, L. Kovacs, and N. Popov.
Experimental program verification in the Theorema system.
STTT, 2006.
in press.
4
T. Kutsia.
Context sequence matching for XML.
Electronic Notes in Theoretical Computer Science, 157(2):47-65, 2006.
5
M. Marin and T. Kutsia.
Foundations of the rule-based system rholog.
Journal of Applied Non-Classical Logics, 16(1-2):151-168, 2006.
6
W. Windsteiger.
An automated prover for Zermelo-Fraenkel set theory in Theorema.
JSC, 41(3-4):435-470, 2006.




Please direct your comments or eventual problem reports to webmaster.

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