%0 Conference Paper %1 conf/focs/Kfoury80 %A Kfoury, A. J. %B FOCS %D 1980 %I IEEE Computer Society %K dblp %P 173-184 %T Loop Elimination and Loop Reduction-A Model-Theoretic Analysis of Programs (Partial Report) %U http://dblp.uni-trier.de/db/conf/focs/focs80.html#Kfoury80

@inproceedings{conf/focs/Kfoury80, added-at = {2023-03-23T00:00:00.000+0100}, author = {Kfoury, A. J.}, biburl = {https://www.bibsonomy.org/bibtex/2e2f6384ba8c9f050453dba4fd25239ab/dblp}, booktitle = {FOCS}, crossref = {conf/focs/FOCS21}, ee = {https://doi.ieeecomputersociety.org/10.1109/SFCS.1980.25}, interhash = {2973f2869b672a29132156e254945508}, intrahash = {e2f6384ba8c9f050453dba4fd25239ab}, keywords = {dblp}, pages = {173-184}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:20:20.000+0200}, title = {Loop Elimination and Loop Reduction-A Model-Theoretic Analysis of Programs (Partial Report)}, url = {http://dblp.uni-trier.de/db/conf/focs/focs80.html#Kfoury80}, year = 1980 }