共 50 条
- [11] The logic of tune - A proof-theoretic analysis of intonation LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, 1999, 1582 : 132 - 159
- [17] Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 367 - 385
- [18] Proof-theoretic foundation of compilation in logic programming languages LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 115 - 129