共 50 条
- [22] A complete axiomatization of interval temporal logic with infinite time (extended abstract) 15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 241 - 252
- [24] A sound and complete program logic for eiffel Lecture Notes in Business Information Processing, 2009, 33 LNBIP : 195 - 214
- [25] A sound and complete reified temporal logic PROCEEDINGS OF NINTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2008, : 111 - +
- [26] A Sound and Complete Logic for Algebraic Effects FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2019, 2019, 11425 : 382 - 399
- [27] A Sound and Complete Program Logic for Eiffel OBJECTS, COMPONENTS, MODELS AND PATTERNS, PROCEEDINGS, 2009, 33 : 195 - +
- [29] On axiomatization of fuzzy logic 2007 5TH INTERNATIONAL SYMPOSIUM ON INTELLIGENT SYSTEMS & INFORMATICS, 2007, : 44 - 46