共 50 条
- [1] EXTENDING THE GRAPH FORMALISM TO HIGHER-ORDER GATES Quantum Information and Computation, 2023, 23 (13-14): : 1128 - 1141
- [3] Extending higher-order unification to support proof irrelevance THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 : 238 - 252
- [7] HIGHER-ORDER STROBOSCOPIC METHOD ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND PHYSIK, 1979, 30 (02): : 315 - 325
- [8] Extending a High-Performance Prover to Higher-Order Logic TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2023, 2023, 13994 : 111 - 129