Logic and Program Semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday
Logic and Program Semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday
复制标题
逻辑和程序语义：在 Dexter Kozen 60 岁生日之际献给他的文章
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Alexandra Silva
中科院分区：
文献类型：
--
作者：
R. Constable;Alexandra Silva
逻辑A ND PROGRA M SEMA NTICS：ESSA YS DEDICA TED TO Dexter Kozen ON THE OCCA锡永OF HIS 60TH BIRTHDAY要获取日志和程序语义：论文献给Dex ter Kozen在他的场合60岁生日PDF，记得访问下面的网络链接，并保存文档或访问其他信息，这是与逻辑和程序语义：在他60岁生日之际，献给德克斯特·科曾的文章。
LOGIC A ND PROGRA M SEMA NTICS: ESSA YS DEDICA TED TO DEXTER KOZEN ON THE OCCA SION OF HIS 60TH BIRTHDAY To get Log ic and Prog ram Semantics: Essays Dedicated to Dex ter Kozen on the Occasion of His 60th Birthday PDF, remember to access the web link beneath and save the document or get access to other information which are related to Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday book.