Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions

From Tetherless World Wiki

Jump to: navigation, search
 Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions
Has publishing details  16(3):233-248, 2008
Has title  Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions
Has where published  Logic Journal of the IGPL
Has year  2008
Has author  George Voutsadakis +
Has identifier  DBLP:journals/igpl/Voutsadakis08 +
Categories  Journal Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools