Search results for: Brigitte Pientka
Electronic Notes in Theoretical Computer Science > 2009 > 228 > Complete > 69-84
Electronic Notes in Theoretical Computer Science > 2008 > 196 > Complete > 95-112
Electronic Notes in Theoretical Computer Science > 2007 > 174 > 7 > 41-60
Journal of Automated Reasoning > 2005 > 34 > 2 > 179-207
Electronic Notes in Theoretical Computer Science > 2002 > 70 > 2 > 1-14
Studia Logica > 2001 > 69 > 2 > 293-326