Neurophysiology (fMRI)
- 期刊名称Canadian Journal of Neurological Sciences / Journal Canadien des Sciences Neurologiques
- 作者Lang, ST; Goodyear, B; Kelly, J; Federico, P
- 卷第42卷
- 印刷ISSN0317-1671
- 电子ISSN2057-0155
- 文件大小280.74KB
- 发表时间2015-05
- DOI10.1017/cjn.2015.173
Cyclic terms for SD⋁varieties revisitedLibor Barto; Marcin Kozik · 2010
Slices of Essentially Algebraic CategoriesLibor Barto · 2009
Congruence Distributivity Implies Bounded WidthBarto, Libor; Kozik, Marcin · SIAM Journal on Computing · 2010
CSP DICHOTOMY FOR SPECIAL POLYADSBARTO, LIBOR; BULÍN, JAKUB · International Journal of Algebra and Computation · 2013
Robustly Solvable Constraint Satisfaction ProblemsBarto, Libor; Kozik, Marcin · SIAM Journal on Computing · 2016
Deciding absorptionBarto, Libor; Kazda, Alexandr · International Journal of Algebra and Computation · 2016
The wonderland of reflectionsBarto, Libor; Opršal, Jakub; Pinsker, Michael · Israel Journal of Mathematics · 2018
Finitary set endofunctors are alg-universalLibor Barto · 2007
Hilbert's Programs: 1917-1922Wilfried Sieg · The Bulletin of Symbolic Logic · 1999
Explicit Provability and Constructive SemanticsSergei N. Artemov · The Bulletin of Symbolic Logic · 2001
Foundations and Applications: Axiomatization and EducationF. William Lawvere · The Bulletin of Symbolic Logic · 2003
Developments in Constructive Nonstandard AnalysisErik Palmgren · The Bulletin of Symbolic Logic · 1998
The Discovery of My Completeness ProofsLeon Henkin · The Bulletin of Symbolic Logic · 1996
THE HYPERUNIVERSE PROGRAMTATIANA ARRIGONI and SY-DAVID FRIEDMAN · The Bulletin of Symbolic Logic · 2013
Logical Consequence RevisitedJosé M. Sagüillo · The Bulletin of Symbolic Logic · 1997
Logicality and InvarianceDenis Bonnay · The Bulletin of Symbolic Logic · 2008