A “ticklish” belly button…
- 期刊名称CJEM
- 作者Daya, Tahira; McKaigney, Conor
- 卷第18卷
- 期第2期
- 印刷ISSN1481-8035
- 电子ISSN1481-8043
- 文件大小456.11KB
- 发表时间2016-03
- DOI10.1017/cem.2015.18
- 页码158-160
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