Constraint contextual rewriting. Armando, A. & Ranise, S. In FTP'98: Proceedings of the International Workshop on First order Theorem Proving, of Technical Report E1852-GS-981, pages 65--75, 1998. Technische Universität Wien, Austria. Electronically available from \tt http://www.logic.at/ftp98Paper bibtex @inproceedings{ftp98,
author = {Armando, Alessandro and Ranise, Silvio},
title = {Constraint contextual rewriting},
booktitle = {FTP'98: Proceedings of the International Workshop on First order Theorem
Proving},
year = {1998},
pages = {65--75},
series = {Technical Report E1852-GS-981},
url = {http://www.ai-lab.it/armando/pub/ftp98.pdf},
organization = {{Technische} {Universit\"at} {Wien}, {Austria}},
note = {Electronically available from {\tt http://www.logic.at/ftp98}}
}
Downloads: 0
{"_id":"vdgsRsvZJuY9uJitM","bibbaseid":"armando-ranise-constraintcontextualrewriting-1998","downloads":0,"creationDate":"2016-08-26T10:17:27.275Z","title":"Constraint contextual rewriting","author_short":["Armando, A.","Ranise, S."],"year":1998,"bibtype":"inproceedings","biburl":"http://ec2-52-59-247-135.eu-central-1.compute.amazonaws.com/ai.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Ranise"],"firstnames":["Silvio"],"suffixes":[]}],"title":"Constraint contextual rewriting","booktitle":"FTP'98: Proceedings of the International Workshop on First order Theorem Proving","year":"1998","pages":"65--75","series":"Technical Report E1852-GS-981","url":"http://www.ai-lab.it/armando/pub/ftp98.pdf","organization":"Technische Universität Wien, Austria","note":"Electronically available from \\tt http://www.logic.at/ftp98","bibtex":"@inproceedings{ftp98,\n author = {Armando, Alessandro and Ranise, Silvio},\n title = {Constraint contextual rewriting},\n booktitle = {FTP'98: Proceedings of the International Workshop on First order Theorem\r\n Proving},\n year = {1998},\n pages = {65--75},\n series = {Technical Report E1852-GS-981},\n url = {http://www.ai-lab.it/armando/pub/ftp98.pdf},\n organization = {{Technische} {Universit\\\"at} {Wien}, {Austria}},\n note = {Electronically available from {\\tt http://www.logic.at/ftp98}}\n}\n\n","author_short":["Armando, A.","Ranise, S."],"key":"ftp98","id":"ftp98","bibbaseid":"armando-ranise-constraintcontextualrewriting-1998","role":"author","urls":{"Paper":"http://www.ai-lab.it/armando/pub/ftp98.pdf"},"downloads":0},"search_terms":["constraint","contextual","rewriting","armando","ranise"],"keywords":[],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["sjwHXeqZidkB6GRgD"]}