共 50 条
- [2] Remarks on Galois cohomology and definability [J]. JOURNAL OF SYMBOLIC LOGIC, 1997, 62 (02) : 487 - 492
- [3] Some remarks on definability of process graphs [J]. CONCUR 2006 - CONCURRENCY THEORY, PROCEEDINGS, 2006, 4137 : 16 - 36
- [4] On the complexity of disjunction and explicit definability properties in some intermediate logics [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2002, 2514 : 175 - 189
- [6] Remarks on explicit knowledge and expertise acquisition [J]. Phenomenology and the Cognitive Sciences, 2013, 12 : 431 - 435
- [7] REMARKS ON SOME EXPLICIT GEOMETRIC ESTIMATES [J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1983, 297 (03): : 185 - 188
- [9] EXPLICIT DIRECT SOLUTION OF THE LYAPUNOV MATRIX EQUATION - REMARKS [J]. JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1991, 328 (04): : 521 - 522