Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover. Hofmann 0001, M. & Tang, F. In Proceedings of Theorem Proving in Higher Order Logics (TPHOLs), pages 268-282, 2000. Paper bibtex @inproceedings{ dblp4483995,
title = {Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover},
author = {Martin Hofmann 0001 and Francis Tang},
author_short = {Hofmann 0001, M. and Tang, F.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2000},
key = {dblp4483995},
id = {dblp4483995},
biburl = {http://www.dblp.org/rec/bibtex/conf/tphol/HofmannT00},
url = {http://dx.doi.org/10.1007/3-540-44659-1_17},
conference = {TPHOLs},
pages = {268-282},
text = {TPHOLs 2000:268-282},
booktitle = {Proceedings of Theorem Proving in Higher Order Logics (TPHOLs)}
}
Downloads: 0
{"_id":{"_str":"52a3062f9eb585cc26001f4f"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hofmann 0001, M.","Tang, F."],"bibbaseid":"hofmann0001-tang-implementingaprogramlogicofobjectsinahigherorderlogictheoremprover-2000","bibdata":{"title":"Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover","author":["Martin Hofmann 0001","Francis Tang"],"author_short":["Hofmann 0001, M.","Tang, F."],"bibtype":"inproceedings","type":"inproceedings","year":"2000","key":"dblp4483995","id":"dblp4483995","biburl":"http://www.dblp.org/rec/bibtex/conf/tphol/HofmannT00","url":"http://dx.doi.org/10.1007/3-540-44659-1_17","conference":"TPHOLs","pages":"268-282","text":"TPHOLs 2000:268-282","booktitle":"Proceedings of Theorem Proving in Higher Order Logics (TPHOLs)","bibtex":"@inproceedings{ dblp4483995,\n title = {Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover},\n author = {Martin Hofmann 0001 and Francis Tang},\n author_short = {Hofmann 0001, M. and Tang, F.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2000},\n key = {dblp4483995},\n id = {dblp4483995},\n biburl = {http://www.dblp.org/rec/bibtex/conf/tphol/HofmannT00},\n url = {http://dx.doi.org/10.1007/3-540-44659-1_17},\n conference = {TPHOLs},\n pages = {268-282},\n text = {TPHOLs 2000:268-282},\n booktitle = {Proceedings of Theorem Proving in Higher Order Logics (TPHOLs)}\n}","bibbaseid":"hofmann0001-tang-implementingaprogramlogicofobjectsinahigherorderlogictheoremprover-2000","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-44659-1_17"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/tphol/HofmannT00","downloads":0,"keywords":[],"search_terms":["implementing","program","logic","objects","higher","order","logic","theorem","prover","hofmann 0001","tang"],"title":"Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover","year":2000,"dataSources":["yfZPexstBhRCuDPnL"]}