Search results for: Walter Carnielli
Studies in Computational Intelligence > Model-Based Reasoning in Science and Technology > Formal and Computational Aspects of Model Based Reasoning > 291-299
Studies in Computational Intelligence > Model-Based Reasoning in Science, Technology, and Medicine > Logical and Computational Aspects of Model-Based Reasoning > 349-364
Studies in Computational Intelligence
Theoretical Computer Science > 2015 > 606 > C > 42-56
Electronic Notes in Theoretical Computer Science > 2014 > 305 > Complete > 19-34
Logic and Logical Philosophy > 2011 > 20 > 3 > 267-272
Studia Logica > 2011 > 97 > 1 > 81-100