Fages’ theorem for programs with nested expressions. Erdem, E. & Lifschitz, V. In International Conference on Logic Programming, pages 242–254, 2001. Springer, Berlin, Heidelberg. bibtex @inproceedings{erdem2001fages,
title={Fages’ theorem for programs with nested expressions},
author={Erdem, Esra and Lifschitz, Vladimir},
booktitle={International Conference on Logic Programming},
pages={242--254},
year={2001},
organization={Springer, Berlin, Heidelberg}
}
Downloads: 0
{"_id":{"_str":"53424e050e946d920a00067a"},"__v":1,"authorIDs":["5456f0758b01c81930000081","5df0b7a08367c8de010000ce","5df87bbedb7d9ddf01000044","5e4957a916841dde01000031","u493trvfaXuB4g9PZ"],"author_short":["Erdem, E.","Lifschitz, V."],"bibbaseid":"erdem-lifschitz-fagestheoremforprogramswithnestedexpressions-2001","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Fages’ theorem for programs with nested expressions","author":[{"propositions":[],"lastnames":["Erdem"],"firstnames":["Esra"],"suffixes":[]},{"propositions":[],"lastnames":["Lifschitz"],"firstnames":["Vladimir"],"suffixes":[]}],"booktitle":"International Conference on Logic Programming","pages":"242–254","year":"2001","organization":"Springer, Berlin, Heidelberg","bibtex":"@inproceedings{erdem2001fages,\n title={Fages’ theorem for programs with nested expressions},\n author={Erdem, Esra and Lifschitz, Vladimir},\n booktitle={International Conference on Logic Programming},\n pages={242--254},\n year={2001},\n organization={Springer, Berlin, Heidelberg}\n}\n\n","author_short":["Erdem, E.","Lifschitz, V."],"key":"erdem2001fages","id":"erdem2001fages","bibbaseid":"erdem-lifschitz-fagestheoremforprogramswithnestedexpressions-2001","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://cogrobo.sabanciuniv.edu/wp-content/bibtex.bib","downloads":0,"keywords":[],"search_terms":["fages","theorem","programs","nested","expressions","erdem","lifschitz"],"title":"Fages’ theorem for programs with nested expressions","year":2001,"dataSources":["e6rYgQxtrAXqREozX"]}