Search results for: Giovanni Sambin
Fundamenta Informaticae > 2020 > Vol. 176, nr 1 > 61--78
Archive for Mathematical Logic > 2018 > 57 > 7-8 > 755-768
Lettera Matematica Pristem > 2017 > 100 > 1 > 16-21
Lettera Matematica > 2017 > 5 > 2 > 87-91
Lecture Notes in Computer Science > Intelligent Computer Mathematics > CICM Systems and Projects > 278-280
The Western Ontario Series in Philosophy of Science > Logic, Mathematics, Philosophy, Vintage Enthusiasms > History and Philosophy of Mathematics and Logic > 69-96
Logic and Logical Philosophy > 2013 > 22 > 2 > 167-199
Journal of Pure and Applied Algebra > 2010 > 214 > 11 > 1988-1995
Theoretical Computer Science > 2008 > 405 > 1-2 > 11-23
Annals of Pure and Applied Logic > 2006 > 137 > 1-3 > 30-61
Annals of Pure and Applied Logic > 2003 > 124 > 1-3 > 71-106
Electronic Notes in Theoretical Computer Science > 2000 > 35 > Complete > 177-190