Publications of the Project F1302
Article - 2007
September 27, 2008
Article - 2007
September 27, 2008
Bibliography
- 1
- 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. - 2
- T. Kutsia.
Solving equations with sequence variables and sequence functions.
JSC, 43(2):352-388, 2007. - 3
- N. Popov and T. Jebelean.
Using computer algebra techniques for the specification, verification and synthesis of recursive programs.
Mathematics and Computers in Simulation, pages 1-13, 2007.
to appear. - 4
- R. Vajda, T. Jebelean, and
B. Buchberger.
Combining Logical and Algebraic Techniques for Natural Style Proving in Elementary Analysis.
Mathematics and Computers in Simulation, pages 1-11, 2007.
to appear.
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