Search results for: Grigori Mints
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Section 2: Contributed Papers > 201-209
Lecture Notes in Computer Science > Computer Science – Theory and Applications > Theory Track > 259-269
Lecture Notes in Computer Science
Archive for Mathematical Logic > 2016 > 55 > 3-4 > 593-603
Annals of Pure and Applied Logic > 2013 > 164 > 6 > 733-739
Studia Logica > 2012 > 100 > 1-2 > 279-287
Annals of Pure and Applied Logic > 2010 > 162 > 3 > 237-242
Electronic Notes in Theoretical Computer Science > 2006 > 143 > Complete > 159-169
Studia Logica > 2006 > 82 > 1 > 121-132
Studia Logica > 2006 > 82 > 1 > 121-132
Annals of Pure and Applied Logic > 2005 > 136 > 1-2 > 134-155
Annals of Pure and Applied Logic > 2005 > 133 > 1-3 > 231-245