Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Pigozzi, Don - Department of Mathematics, Iowa State University
ABSTRACT ALGEBRAIC LOGIC AND THE DEDUCTION THEOREM
EQUATIONAL REASONING WITH SUBTYPES GARY T. LEAVENS AND DON PIGOZZI
Behavioral Reasoning for Conditional Equations +
PARTIALLY ORDERED VARIETIES AND QUASIVARIETIES DON PIGOZZI
PARTIALLY ORDERED VARIETIES AND QUASIVARIETIES DON PIGOZZI
ABSTRACT ALGEBRAIC LOGIC AND THE DEDUCTION THEOREM
EQUATIONAL REASONING WITH SUBTYPES GARY T. LEAVENS AND DON PIGOZZI
Behavioral Reasoning for Conditional MANUEL ANT ONIO MARTINS1
