DocumentCode :
2175735
Title :
Loop elimination and loop reduction A model-theoretic analysis of programs
Author :
Kfoury, A.J.
fYear :
1980
fDate :
13-15 Oct. 1980
Firstpage :
173
Lastpage :
184
Keywords :
Fats; Logic; Mathematics;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Foundations of Computer Science, 1980., 21st Annual Symposium on
Conference_Location :
Syracuse, NY, USA
ISSN :
0272-5428
Type :
conf
DOI :
10.1109/SFCS.1980.25
Filename :
4567817
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2175735
