Towards a Unified Theory of Intensional Logic Programming. Orgun, M. A. & Wadge, W. W. J. Log. Program., 13(4):413–440, 1992.
![Towards a Unified Theory of Intensional Logic Programming [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex
Paper doi bibtex Downloads: 0
{"_id":"RmZwWR8f6PneYnhdR","bibbaseid":"orgun-wadge-towardsaunifiedtheoryofintensionallogicprogramming-1992","downloads":0,"creationDate":"2015-10-09T01:43:12.072Z","title":"Towards a Unified Theory of Intensional Logic Programming","author_short":["Orgun, M. A.","Wadge, W. W."],"year":1992,"bibtype":"article","biburl":"http://dblp.org/pers/tb2/o/Orgun:Mehmet_A=","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Mehmet","A."],"propositions":[],"lastnames":["Orgun"],"suffixes":[]},{"firstnames":["William","W."],"propositions":[],"lastnames":["Wadge"],"suffixes":[]}],"title":"Towards a Unified Theory of Intensional Logic Programming","journal":"J. Log. Program.","volume":"13","number":"4","pages":"413–440","year":"1992","url":"https://doi.org/10.1016/0743-1066(92)90055-8","doi":"10.1016/0743-1066(92)90055-8","timestamp":"Wed, 17 Feb 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/jlp/OrgunW92.bib","bibsource":"dblp computer science bibliography, https://dblp.org","author_short":["Orgun, M. A.","Wadge, W. W."],"key":"DBLP:journals/jlp/OrgunW92","id":"DBLP:journals/jlp/OrgunW92","bibbaseid":"orgun-wadge-towardsaunifiedtheoryofintensionallogicprogramming-1992","role":"author","urls":{"Paper":"https://doi.org/10.1016/0743-1066(92)90055-8"},"metadata":{"authorlinks":{}},"html":""},"search_terms":["towards","unified","theory","intensional","logic","programming","orgun","wadge"],"keywords":[],"authorIDs":["56171baf372e2a7a1a000670","589d07c721f364182b00000f"],"dataSources":["4JocmSptLqeD5K7hG","uPDiu8Pvr23e2uyMf"]}