共 50 条
- [41] A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2017, 2017, 10369 : 491 - 500
- [42] The Impact of Higher-Order State and Control Effects on Local Relational Reasoning ICFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2010, : 143 - 155
- [44] A CASE-STUDY IN KNOWLEDGE REPRESENTATION AND REASONING WITH HIGHER-ORDER COMBINATORS SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - 89, 1989, : 37 - 48
- [47] Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic AUTOMATED REASONING, IJCAR 2024, PT I, 2024, 14739 : 86 - 104
- [49] Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 452 - 461
- [50] U.(TP)(2): Higher-Order Equational Reasoning by Pointing ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (167): : 14 - 22