Search results for: Mircea-Dan Hernest
Lecture Notes in Computer Science > Computer Science Logic > Constructive Reasoning and Computational Mathematics > 477-492
Annals of Pure and Applied Logic > 2010 > 161 > 11 > 1379-1389
Electronic Notes in Theoretical Computer Science > 2007 > 171 > 3 > 43-53
Electronic Notes in Theoretical Computer Science > 2007 > 174 > 5 > 141-149
Theoretical Computer Science > 2005 > 338 > 1-3 > 200-246