Publications by Year
sign in
In Proceedings
Search:
Search
R.N. Bol
1990
Towards more efficient loop checks
Publication
Publication
Presented at the
North American Conference on Logic Programming
, Austin, TX, USA
Additional Metadata
MSC
Logic programming (msc 68N17)
,
Specification and verification (program logics, model checking, etc.) (msc 68Q60)
Publisher
MIT Press (Cambridge, MA)
Conference
North American Conference on Logic Programming
Citation
APA Style
AAA Style
APA Style
Cell Style
Chicago Style
Harvard Style
IEEE Style
MLA Style
Nature Style
Vancouver Style
American-Institute-of-Physics Style
Council-of-Science-Editors Style
BibTex Format
Endnote Format
RIS Format
CSL Format
DOIs only Format
Bol, R. N. (1990). Towards more efficient loop checks. In
Logic Programming, Proceedings of the 1990 North American Conference on Logic Programming
(pp. 465–479). MIT Press (Cambridge, MA).
Full Text
( Final Version , 1mb )
×
Workflow
×
Workflow
×
Add Content
User
Publication
Person
Organisation
Collection