| dc.contributor.author | Γεργατσούλης, Μανώλης | el_GR |
| dc.contributor.author | Ροντογιάννης, Παναγιώτης | el_GR |
| dc.contributor.author | Gergatsoulis, Manolis | en |
| dc.contributor.author | Rondogiannis, Panos | en |
| dc.date.available | 2014-01-16T07:42:41Z | |
| dc.date.issued | 1997 | |
| dc.identifier.issn | 200190 | |
| dc.identifier.uri | http://hdl.handle.net/10797/13679 | en |
| dc.description | Περιέχει το πλήρες κείμενο | el_GR |
| dc.description.abstract | Unfold/fold transformation rules for disjunctive logic programs are proposed in this paper. Our transformation rules preserve the meaning of the programs. | en |
| dc.language.iso | eng | en |
| dc.rights | info:eu-repo/semantics/openAccess | en |
| dc.source | Journal of Intelligent Information Systems
Volume 17, Issue 1, November 2001, Pages 71-94 | en |
| dc.source | Scopus | en |
| dc.source.uri | http://www.scopus.com/record/display.url?eid=2-s2.0-0035506941&origin=resultslist&sort=plf-f&src=s&st1=gergatsoulis&nlo=1&nlr=20&nls=count-f&sid=3721C8512648DE367D76686B2D82F7FD.zQKnzAySRvJOZYcdfIziQ%3a63&sot=anl&sdt=aut&sl=41&s=AU-ID%28%22Gergatsoulis%2c+Manolis%22+6602969138%29&relpos=30&relpos=10&citeCnt=3&searchTerm=AU-ID%28%5C%26quot%3BGergatsoulis%2C+Manolis%5C%26quot%3B+6602969138%29 | en |
| dc.title | Unfold/fold transformations for disjunctive logic programs | en |
| dc.type | Article | en |
| dc.subject.uncontrolledterm | Temporal logic programming | en |
| dc.subject.uncontrolledterm | Branching time | en |
| dc.subject.uncontrolledterm | Chain programs | en |
| dc.subject.uncontrolledterm | Deductive Databases | en |
| dc.subject.uncontrolledterm | Program transformation | en |
| dc.subject.JITA | Τεχνολογίες πληροφόρησης και τεχνολογίες βιβλιοθηκών | el_GR |
| dc.subject.JITA | Information technology and library technology | en |
| dc.identifier.JITA | LZ | en |