Wyniki wyszukiwania dla: Dan E. Willard
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 281-297
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 292-306
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 415-430
Information and Computation > 2009 > 207 > 10 > 1078-1093
Annals of Pure and Applied Logic > 2007 > 146 > 2-3 > 124-149
Electronic Notes in Theoretical Computer Science > 2006 > 165 > Complete > 213-226
Annals of Pure and Applied Logic > 2006 > 141 > 3 > 472-496
Journal of Computer and System Sciences > 2002 > 65 > 2 > 295-331
Journal of Computer and System Sciences > 1996 > 52 > 1 > 157-169