Annals of Pure and Applied Logic

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Proof and refutation in MALL as a game
Annals of Pure and Applied Logic - Tập 161 - Trang 654-672 - 2010
Olivier Delande, Dale Miller, Alexis Saurin
A focused approach to combining logics
Annals of Pure and Applied Logic - Tập 162 - Trang 679-697 - 2011
Chuck Liang, Dale Miller
Relating the bounded arithmetic and polynomial time hierarchies
Annals of Pure and Applied Logic - Tập 75 - Trang 67-77 - 1995
Samuel R. Buss
On eigenvectors, approximations and the Feynman propagator
Annals of Pure and Applied Logic - Tập 170 - Trang 109-135 - 2019
Åsa Hirvonen, Tapani Hyttinen
Symmetric submodels of a cohen generic extension
Annals of Pure and Applied Logic - Tập 58 - Trang 247-261 - 1992
Claude Sureson
The Dyck and the Preiss separation uniformly
Annals of Pure and Applied Logic - Tập 169 - Trang 1082-1116 - 2018
Vassilios Gregoriades
Nullifying randomness and genericity using symmetric difference
Annals of Pure and Applied Logic - Tập 168 - Trang 1692-1699 - 2017
Rutger Kuyper, Joseph S. Miller
Compactness and normality in abstract logics
Annals of Pure and Applied Logic - Tập 59 - Trang 33-43 - 1993
Xavier Caicedo
An o-minimal structure without mild parameterization
Annals of Pure and Applied Logic - Tập 162 - Trang 409-418 - 2011
Margaret E.M. Thomas
Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators
Annals of Pure and Applied Logic - Tập 162 - Trang 107-143 - 2010
Toshiyasu Arai
Tổng số: 1,217   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10