Search results
Information and Computation > 2011 > 209 > 12 > 1465-1490
Theoretical Computer Science > 2011 > 412 > 39 > 5433-5445
Mathematical Logic Quarterly > 57 > 4 > 395 - 399
Archive for Mathematical Logic > 2011 > 50 > 7-8 > 727-742
Journal of Philosophical Logic > 2011 > 40 > 1 > 95-101
Journal of Automated Reasoning > 2011 > 47 > 4 > 341-367
International Journal of Theoretical Physics > 2011 > 50 > 12 > 3669-3681
Studia Logica > 2011 > 99 > 1-3 > 365-388
Fundamenta Informaticae > 2011 > Vol. 106, nr 1 > 1-23
Mathematical Logic Quarterly > 56 > 6 > 643 - 658
Annals of Pure and Applied Logic > 2010 > 161 > 11 > 1400-1430
Annals of Pure and Applied Logic > 2010 > 161 > 11 > 1367-1378
Annals of Pure and Applied Logic > 2010 > 161 > 10 > 1244-1253
Information and Computation > 2010 > 208 > 5 > 500-509
Logic and Logical Philosophy > 2010 > 19 > 1-2 > 7–30
Cybernetics and Systems Analysis > 2010 > 46 > 6 > 884-899
Journal of Logic, Language and Information > 2010 > 19 > 1 > 33-51
International Journal of Theoretical Physics > 2010 > 49 > 12 > 3022-3029
Formal Aspects of Computing > 2010 > 22 > 5 > 629-661
Studia Logica > 2010 > 96 > 3 > 349-373