Logic Group (Utrecht)

A bounded retransmission protocol for large data packets / Jan Friso Groote, Jaco van de Polschema:ProductModel A computationally efficient approximation of dempster-shafer theory / Frans Voorbraakschema:ProductModel A computer-checked verification of Milner's scheduler / Henri Korver, Jan Springintveldschema:ProductModel A correctness proof of the Bakery protocol in →m⇋CRL / Jan Friso Groote, Henri Korverschema:ProductModel A course in bimodal provability logic / Albert Visserschema:ProductModel A crash course in arrow logic / Y. Venemaschema:ProductModel A critique of Putnam's Principle of the benefit of doubt / I. Douvenschema:ProductModel A descending hierarchy of reflection principles / Albert Visserschema:ProductModel A formal axiomatization for alphabet reasoning with parametrized processes / H. Korverschema:ProductModel A formal verification of the alternating bit protocol in the calculus of constructions / Marc Bezem, Jan Friso Grooteschema:ProductModel A functional program for Gaussian elimination / Fer-Jan de Vriesschema:ProductModel A functional program for the fast fourier transform / Fer-Jan de Vriesschema:ProductModel A modal analysis of some principles of the provability logic of Heyting arithmetic / R. Iemhoffschema:ProductModel A modal logic of quantifications and substitution / Y. Venemaschema:ProductModel A modal perspective on the computational complexity of attribute value grammar / Patrick Blackburn & Edith Spaanschema:ProductModel A modular approach to protocol verification using process algebra / C.P.J. Koymans, J.C. Mulderschema:ProductModel A perceptron network theorem prover for the propositional calculus / Marc F.J. Drossaersschema:ProductModel A preferential model semantics for default logic / Frans Voorbraakschema:ProductModel A process creation mechanism in process algebra / J.A. Bergstraschema:ProductModel A semantic framework for the COLD-family of languages / H.B.M. Jonkers, C.P.J. Koymans, G.R. Renardel de Lavaletteschema:ProductModel ... show all 135

A bibliography of L. E. J. Brouwer / D. van Dalenschema:ProductModel A calculus for sequential logic with 4 values / J.A. Bergstra, J.C. van de Polschema:ProductModel A complete axiomatization for prefix iteration in branching bisimulation / W.J. Fokkinkschema:ProductModel A conservative look at term deduction systems with variable binding / W. Fokkink, C. Verhoefschema:ProductModel A decision support system for the maintenance of lights of traffic regulation systems / F.A. van der Duyn Schouten ... [et al.]schema:ProductModel A logic for signal inserted timed frames / J. Bergstra, W. Fokkink, K. Middelburgschema:ProductModel A new equivalence for processes with timing / J.C.M. Baeten, C.A. Middelburg and M.A. Reniersschema:ProductModel A note on global descriptivism and Putnam's model-theoretic argument / I. Douvenschema:ProductModel A proof-checked verification of a real-time communication protocol / I. Polakschema:ProductModel Algebra of timed frames / J.A. Bergstra, W.J. Fokkink, C.A. Middelburgschema:ProductModel Algebras for Boolean presuppositions / C.F.M. Vermeulen, E. Wolters, A. Visserschema:ProductModel An axiomatisation of strong negation and relational composition / M.J. Hollenbergschema:ProductModel An axiomatization for the terminal cycle / W. Fokkinkschema:ProductModel An overview of interpretability logic / A. Visserschema:ProductModel Binary decision diagrams for first order predicate logic / J.F. Grooteschema:ProductModel Bisimulation respecting first-order operations / M.J. Hollenbergschema:ProductModel Bisimulations, model descriptions and propositinal quantifiers / A. Visserschema:ProductModel Brouwer and Fraenkel / D. van Dalenschema:ProductModel Clausification in Coq / M. Bezem, D. Hendriksschema:ProductModel Context in dynamic predicate logic / A. Visserschema:ProductModel ... show all 92