搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： R. D. Tennent
DOI:
关键词:
摘要:
Proceedings of the Conference on Logic of Programs,1985, 引用: 86
,2014, 引用: 7
,1991, 引用: 1
Algorithms and Parallel VLSI Architectures III,1995, 引用: 2
Logic and Automata,2008, 引用: 82
,1989, 引用: 8
Mathematical Logic and Its Applications,1987, 引用: 3
Programming Logics,2013, 引用: 3
Automated Reasoning and Mathematics,2013, 引用: 5
international conference on typed lambda calculi and applications,2011, 引用: 2
acm.org