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