Predrag Janicic, Ian Green, and Alan Bundy. A comparison of decision procedures in Presburger arithmetic. LIRA '97, Univ. of Novi Sad, 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Electronic Notes in Theoretical Computer Science 86 No. 1 (2003) - Url Http Www Self-citation (Jani) (Correct)
No context found.
Predrag Janicic, Ian Green, and Alan Bundy. A comparison of decision procedures in Presburger arithmetic. LIRA '97, Univ. of Novi Sad, 1997.
A Thread of HOL Development - Norrish, Slind (2002) (1 citation) (Correct)
No context found.
P. Janicic, I. Green, and A. Bundy. A comparison of decision procedures in Presburger arithmetic, October 1997. Research paper #872, Division of Informatics, University of Edinburgh.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC