Tudor Jebelean, Laura Kovacs,
"Generation of Loop Invariants in Theorema by Combinatorial and Algebraic Methods"
, in F. Fazekas et al: Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-144, Serie Bulletins for applied mathematics, Vol. CVI, Nummer 2172, Technical University of Budapest, PAMM-Centre, Balatonalmadi, Hungary, Seite(n) 125-134, 5-2004, ISSN: 0133-3526
Original Titel:
Generation of Loop Invariants in Theorema by Combinatorial and Algebraic Methods
Sprache des Titels:
Englisch
Original Buchtitel:
Bulletins for Applied and Computer Mathematics, Pannonian Applied Mathematical Meetings, PC-144