Representing Model Theory in a Type-Theoretical Logical Framework
- 作者Fulya Horozal; Florian Rabe
- 卷第256卷
- 印刷ISSN1571-0661
- 文件大小345.92KB
- 发表时间2009
- DOI10.1016/j.entcs.2009.11.005
- 页码49-65
同作者推荐
Zero, successor and equality in BDDsBahareh Badban; Jaco van de Pol · 2005
Generalizing DPLL and satisfiability for equalitiesBahareh Badban; Jaco van de Pol; Olga Tveretina; Hans Zantema · 2007
Verification of a sliding window protocol inμCRL and PVSBahareh Badban; Wan Fokkink; Jan Friso Groote; Jun Pang; Jaco van de Pol · 2005
[ACM Press the 3rd international workshop - Portland, Oregon (2006.11.06-2006.11.06)] Proceedings of the 3rd international workshop on Software quality assurance - SOQUA '06 - Test automation for hybrid systemsBadban, Bahareh; Fränzle, Martin; Peleska, Jan; Teige, Tino · 2006