Pub Date : 1994-06-20DOI: 10.1007/3-540-58792-6_24
P. Hill
{"title":"A Module System for Meta-Programming","authors":"P. Hill","doi":"10.1007/3-540-58792-6_24","DOIUrl":"https://doi.org/10.1007/3-540-58792-6_24","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"7 4","pages":"395-409"},"PeriodicalIF":0.0,"publicationDate":"1994-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72604194","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1994-06-20DOI: 10.1007/3-540-58792-6_25
Giuseppe Attardi, M. Simi
{"title":"Building Proofs in Context","authors":"Giuseppe Attardi, M. Simi","doi":"10.1007/3-540-58792-6_25","DOIUrl":"https://doi.org/10.1007/3-540-58792-6_25","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"35 1","pages":"410-424"},"PeriodicalIF":0.0,"publicationDate":"1994-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72848926","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1994-06-20DOI: 10.1007/3-540-58792-6_20
A. Bossi, S. Etalle
{"title":"More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics","authors":"A. Bossi, S. Etalle","doi":"10.1007/3-540-58792-6_20","DOIUrl":"https://doi.org/10.1007/3-540-58792-6_20","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"43 1","pages":"311-331"},"PeriodicalIF":0.0,"publicationDate":"1994-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79851250","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1994-06-20DOI: 10.1007/3-540-58792-6_16
F. V. Harmelen
{"title":"A Model of Costs and Benefits of Meta-Level Computation","authors":"F. V. Harmelen","doi":"10.1007/3-540-58792-6_16","DOIUrl":"https://doi.org/10.1007/3-540-58792-6_16","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"1 1","pages":"248-261"},"PeriodicalIF":0.0,"publicationDate":"1994-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90213411","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1994-06-20DOI: 10.1007/3-540-58792-6_21
W. Hoek, J. Meyer, Jan Treur
{"title":"Formal Semantics of Temporal Epistemic Reflection","authors":"W. Hoek, J. Meyer, Jan Treur","doi":"10.1007/3-540-58792-6_21","DOIUrl":"https://doi.org/10.1007/3-540-58792-6_21","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"62 1","pages":"332-352"},"PeriodicalIF":0.0,"publicationDate":"1994-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89301562","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1994-06-20DOI: 10.1007/3-540-58792-6_23
Antonio Brogi, S. Contiero
{"title":"Gödel as a Meta-Language for Composing Logic Programs","authors":"Antonio Brogi, S. Contiero","doi":"10.1007/3-540-58792-6_23","DOIUrl":"https://doi.org/10.1007/3-540-58792-6_23","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"229 1","pages":"377-394"},"PeriodicalIF":0.0,"publicationDate":"1994-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77578945","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Tutorial on Termination of Logic Programs","authors":"D. D. Schreye, Kristof Verschaetse","doi":"10.1007/3-540-56282-6_5","DOIUrl":"https://doi.org/10.1007/3-540-56282-6_5","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"65 1","pages":"70-88"},"PeriodicalIF":0.0,"publicationDate":"1992-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82761682","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1992-06-10DOI: 10.1007/3-540-56282-6_12
Kerima Benkerimi, P. Hill
{"title":"Object-Oriented Programming in Gödel: An Experiment","authors":"Kerima Benkerimi, P. Hill","doi":"10.1007/3-540-56282-6_12","DOIUrl":"https://doi.org/10.1007/3-540-56282-6_12","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"10 1","pages":"177-191"},"PeriodicalIF":0.0,"publicationDate":"1992-06-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89459269","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：