Tallinn / Malaga / Jerusalem / Turku / Berlin / Cleveland / Amsterdam / Marseille / /
Company
Cambridge University Press / Term Rewriting Systems / MIT Press / Abstract Reduction Systems / World Scientific / Dagstuhl Publishing / ESPRIT / I.A.S. / /
Country
Estonia / Singapore / Finland / /
Facility
Technical University / Nanyang Technological University / Bar Induction / Utrecht University / Institute of Cybernetics / /
IndustryTerm
rule-based expert systems / software components / window protocol / linear systems / /
Organization
London Mathematical Society / Cambridge University / MIT / Universidad de Vigo / Technical University Munich / Nanyang Technological University / Singapore / EEF Summer School on Logical Methods / Institute of Cybernetics / 18th European School / Department of Philosophy / European Association for Theoretical Computer Science / Utrecht University / /
Person
W. Szajnkenig / J.R. Fisher / H.A. Truong / T. Uustalu / T. Langholm / E. Rodr´ıguez / C. Grabmayer / M.A. Bezem / K.R. Apt / E. Barendsen / T. Coquand / S. Berardi / D. Hendriks / W. Veldman / D. Hovland / R.C. de Vrijer / K. Nakata / W. Buchholz / H.P. Barendregt / R. Nieuwenhuis / A.J.C. Hurkens / D. van Dalen / J.W. Klop / V / A. Polonsky / J. Springintveld / Roel de Vrijer / V. van Oostrom / J.W. Klop / Dirk van Dalen Festschrift / J. van Leeuwen / M. Walicki / J.F. Groote / J. Keuzenkamp / K. Blok / M. Keijzer / F. van Raamsdonk / M.H. van Emden / R. Bagai / Proceedings Foclasa / R. Bol / A. Ponse / S. Huber / /
Position
editor / Kripke Model for Simplicial Sets / model for bar recursion containing discontinuous functionals / /
PublishedMedium
Electronic Notes in Theoretical Computer Science / Formal Aspects of Computing / Logical Methods in Computer Science / Theoretical Computer Science / Lecture Notes in Computer Science / American Mathematical Monthly / /
Publication list of Marc Bezem Journal articles [1] M.A. Bezem. Isomorphisms between HEO and HROE , ECF and ICFE . Journal of Symbolic Logic 50:359–371, M.A. Bezem. Strongly majorizable functionals of finite