Canonical Formulas for K4, Part I: Basic Results

From Tetherless World Wiki

Jump to: navigation, search
 Canonical Formulas for K4, Part I: Basic Results
Has publishing details  57(4):1377-1402, 1992
Has title  Canonical Formulas for K4, Part I: Basic Results
Has where published  J. Symb. Log.
Has year  1992
Has author  Michael Zakharyaschev +
Has identifier  DBLP:journals/jsyml/Zakharyaschev92 +
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