Search results
Studia Logica > 2019 > 107 > 6 > 1159-1198
Science of Computer Programming > 2016 > 126 > C > 73-93
Electronic Notes in Theoretical Computer Science > 2011 > 273 > Complete > 33-50
Electronic Notes in Theoretical Computer Science > 2009 > 231 > Complete > 175-190
Studia Logica > 2006 > 84 > 2 > 277-322
Electronic Notes in Theoretical Computer Science > 2002 > 67 > Complete > 1-14