Results 291 to 297 of about 37,312 (297)

Coupled-cluster theory in quantum chemistry

Reviews of Modern Physics, 2007
Rodney J Bartlett, Monika Musiał
exaly  

Conservativity of transitive closure over weak constructive operational set theory

, 2012
Andrea Cantini, Laura Crosilla
openalex   +1 more source

On the crispness of   and arithmetic with a bisimulation in a constructive naive set theory

, 2013
Shunsuke Yatabe
openalex   +1 more source

Functional Interpretations of Constructive Set Theory in All Finite Types

, 2008
Justus Diller
openalex   +1 more source

Formal Baire Space in Constructive Set Theory

2012
Giovanni Curi, Michael Rathjen
openaire   +1 more source

Functional Interpretations: From the Dialectica Interpretation to Interpretations of Classical and Constructive Set Theory

, 2019
Justus Diller
openalex  

Computer-Acceptable Set Theory for Model Construction

2007
openaire   +1 more source