From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support
 |
 |
 |
@inproceedings{oolp-iclp_piselp93,
address = {Budapest, Hungary},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {ICLP'93 Post-Conference Workshop on Practical Implementations and Systems Experience in Logic Programming},
editor = {Tick, Evan},
month = {25~} # jun,
note = {CIS-TR-93-12},
numpages = 11,
publisher = {Department of Computer and Information Science, University of Oregon},
title = {From Modules to Structured Theories and Logic Objects: A Common ``Program-based'' Run-time Support},
year = 1993
}
address = {Budapest, Hungary},
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {ICLP'93 Post-Conference Workshop on Practical Implementations and Systems Experience in Logic Programming},
editor = {Tick, Evan},
month = {25~} # jun,
note = {CIS-TR-93-12},
numpages = 11,
publisher = {Department of Computer and Information Science, University of Oregon},
title = {From Modules to Structured Theories and Logic Objects: A Common ``Program-based'' Run-time Support},
year = 1993
}