Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas

From Tetherless World Wiki

Jump to: navigation, search
 Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
Has publishing details  53(2):147-161, 2007
Has title  Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
Has where published  Math. Log. Q.
Has year  2007
Has author  George Voutsadakis +
Has identifier  DBLP:journals/mlq/Voutsadakis07 +
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