17 results
AXS-05 (DEXTROMETHORPHAN-BUPROPION) Improves Depressive Symptoms and Functioning in Patients With One Prior Treatment Failure: Results From the Evolve Long-Term, Open Label Study
-
- Journal:
- CNS Spectrums / Volume 28 / Issue 2 / April 2023
- Published online by Cambridge University Press:
- 14 April 2023, p. 247
-
- Article
-
- You have access
- Export citation
Improvement in Anxiety Symptoms in Depressed Patients Treated With AXS-05 (DEXTROMETHORPHAN-BUPROPION): Results From the Evolve Open-Label, Long-Term Study
-
- Journal:
- CNS Spectrums / Volume 28 / Issue 2 / April 2023
- Published online by Cambridge University Press:
- 14 April 2023, p. 260
-
- Article
-
- You have access
- Export citation
Rapid Antidepressant Effects and MADRS Item Improvements With AXS-05 (DEXTROMETHORPHAN-BUPROPION), an Oral NMDA Receptor Antagonist in Major Depressive Disorder: Results From Two Randomized Double-Blind, Controlled Trials
-
- Journal:
- CNS Spectrums / Volume 28 / Issue 2 / April 2023
- Published online by Cambridge University Press:
- 14 April 2023, p. 263
-
- Article
-
- You have access
- Export citation
Impact of AXS-05 (DEXTROMETHORPHAN-BUPROPION), an Oral NMDA Receptor Antagonist, on Anhedonic Symptoms in Major Depressive Disorder
-
- Journal:
- CNS Spectrums / Volume 28 / Issue 2 / April 2023
- Published online by Cambridge University Press:
- 14 April 2023, p. 264
-
- Article
-
- You have access
- Export citation
Triposes as a generalization of localic geometric morphisms
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 9 / October 2021
- Published online by Cambridge University Press:
- 29 January 2021, pp. 1024-1033
-
- Article
- Export citation
The genesis of the groupoid model
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 9 / October 2021
- Published online by Cambridge University Press:
- 29 December 2020, pp. 1003-1005
-
- Article
- Export citation
Krivine's classical realisability from a categorical perspective
-
- Journal:
- Mathematical Structures in Computer Science / Volume 23 / Issue 6 / December 2013
- Published online by Cambridge University Press:
- 10 April 2013, pp. 1234-1256
-
- Article
- Export citation
Preface for the special issue on domains
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 2 / April 2010
- Published online by Cambridge University Press:
- 25 March 2010, pp. 105-106
-
- Article
-
- You have access
- Export citation
Dependence and independence results for (impredicative) calculi of dependent types
-
- Journal:
- Mathematical Structures in Computer Science / Volume 2 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 04 March 2009, pp. 29-54
-
- Article
- Export citation
A universality theorem for PCF with recursive types, parallel-or and ∃
-
- Journal:
- Mathematical Structures in Computer Science / Volume 4 / Issue 1 / March 1994
- Published online by Cambridge University Press:
- 04 March 2009, pp. 111-115
-
- Article
- Export citation
Preface
-
- Journal:
- Mathematical Structures in Computer Science / Volume 17 / Issue 5 / October 2007
- Published online by Cambridge University Press:
- 01 October 2007, p. 839
-
- Article
- Export citation
Relating First-Order Set Theories and Elementary Toposes
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 340-358
- Print publication:
- September 2007
-
- Article
- Export citation
Preface
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 2 / April 2006
- Published online by Cambridge University Press:
- 17 May 2006, pp. 139-140
-
- Article
-
- You have access
- Export citation
Quotients of countably based spaces are not closed under sobrification
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 2 / April 2006
- Published online by Cambridge University Press:
- 17 May 2006, pp. 223-229
-
- Article
- Export citation
On the non-sequential nature of the interval-domain model of real-number computation
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 6 / December 2004
- Published online by Cambridge University Press:
- 16 November 2004, pp. 803-814
-
- Article
- Export citation
Impredicativity entails untypedness
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 3 / June 2002
- Published online by Cambridge University Press:
- 06 August 2002, pp. 335-347
-
- Article
- Export citation
General synthetic domain theory – a logical approach
-
- Journal:
- Mathematical Structures in Computer Science / Volume 9 / Issue 2 / April 1999
- Published online by Cambridge University Press:
- 01 April 1999, pp. 177-223
-
- Article
- Export citation