共 50 条
- [21] Mathematical analysis - On some arithmetical consequences of the theory of abelian functions. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1906, 142 : 537 - 541
- [24] CATEGORICAL FOUNDATIONS OF MATHEMATICS Or how to provide foundations for abstract mathematics REVIEW OF SYMBOLIC LOGIC, 2013, 6 (01): : 51 - 75
- [27] Some Foundations for Probabilistic Abstract Argumentation Computational Models of Argument, 2012, 245 : 117 - 128
- [28] Foundations of Quantum Programming (Extended Abstract) PROGRAMMING LANGUAGES AND SYSTEMS, 2010, 6461 : 16 - 20