Search the dblp DataBase
Michael Makkai :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Franck van Breugel , Claudio Hermida , Michael Makkai , James Worrell An Accessible Approach to Behavioural Pseudometrics. [Citation Graph (0, 0)][DBLP ] ICALP, 2005, pp:1018-1030 [Conf ] Claudio Hermida , Michael Makkai , John Power Higher Dimensional Multigraphs. [Citation Graph (0, 0)][DBLP ] LICS, 1998, pp:199-206 [Conf ] Michael Makkai A Theorem on Barr-Exact Categories, with an Infinitary Generalization. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1990, v:47, n:3, pp:225-268 [Journal ] Michael Makkai , Gonzalo E. Reyes Completeness Results for Intuitionistic and Modal Logic in a Categorical Setting. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1995, v:72, n:1, pp:25-101 [Journal ] Saharon Shelah , Michael Makkai Categoricity of Theories in Lk omega , with k a Compact Ordinal. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1990, v:47, n:1, pp:41-97 [Journal ] Michael Makkai , Giuseppe Rosolini Studying repleteness in the category of cpos. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal ] Victor Harnik , Michael Makkai Applications of Vaught Sentences and the Covering Theorem. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1976, v:41, n:1, pp:171-187 [Journal ] Victor Harnik , Michael Makkai Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1992, v:57, n:1, pp:200-230 [Journal ] Michael Makkai On the Model Theory of Denumerably Long Formulas with Finite Strings of Quantifiers. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1969, v:34, n:3, pp:437-459 [Journal ] Michael Makkai An Example Concerning Scott Heights. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1981, v:46, n:2, pp:301-318 [Journal ] Michael Makkai On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1995, v:36, n:3, pp:364-381 [Journal ] Franck van Breugel , Claudio Hermida , Michael Makkai , James Worrell Recursively defined metric spaces without contraction. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2007, v:380, n:1-2, pp:143-163 [Journal ] Search in 0.001secs, Finished in 0.002secs