共 50 条
- [41] A proof-theoretic approach to tactics MATHEMATICAL KNOWLEDGE MANAGEMENT, PROCEEDINGS, 2006, 4108 : 54 - 66
- [46] A proof-theoretic foundation for tabled higher-order logic programming LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 271 - 286
- [50] Proof-Theoretic Semantics and Feasibility CONSTRUCTIVITY AND COMPUTABILITY IN HISTORICAL AND PHILOSOPHICAL PERSPECTIVE, 2014, 34 : 135 - 158