Zoekresultaten
Resultaat 1 - 20 (van 67)
J.F. Groote | H.P. Korver A correctness proof of the Bakery protocol in →m⇋CRL
Non-fictie
Nederlands | 31 pagina's | Department of Philosophy, University of Utrecht, Utrecht | 1992
Gedrukt boek
Wojciech Penczek | R. Kuiper Traces and logic
Non-fictie
Engels | 81 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1994
Gedrukt boek
Hans de Nivelle Application of resolution games to resolution decision procedures
Non-fictie
Engels | 34 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1994
Gedrukt boek
Hans de Nivelle Resolution games and non-liftable resolution orderings
Non-fictie
Engels | 47 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1994
Gedrukt boek
Patrick Blackburn | M. de Rijke Zooming in, zooming out
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Vrije Universiteit Temporal semantics and specification of complex tasks
Non-fictie
Engels | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Domenico Zambella Chapters on bounded arithmetic & on provability logic
Non-fictie
Engels | 76 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
M.J. Hollenberg Negative definability in modal logic
Non-fictie
Engels | 38 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1994
Gedrukt boek
Andrei Arsov Basic arrow logic with relation algebraic operators
Non-fictie
Engels | 23 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
R. Sommerhalder | S.C. van Westrhenen Herbrand interpretations in modal logics
Non-fictie
Engels | 10 pagina's | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1994
Gedrukt boek
S.N. Artemov | Artëm Chuprina Logic of proofs with complexity operators
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
Elena Nogina Logic of proofs with the strong provability operator
Non-fictie
Engels | 18 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 1994
Gedrukt boek
Natasha Kurtonina The Lambek calculus
relational semantics and the method of labelling
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
W. Peremans Ups and downs of type theory
Non-fictie
Engels | 9 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1994
Gedrukt boek
Kazimierz Świrydowicz A remark on the maximal extensions of the relevant logic R
Non-fictie
Engels | 9 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
Herman Geuvers A short and flexible proof of strong normalization for the calculus of construction
Non-fictie
Engels | 27 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven | 1994
Gedrukt boek
Joeri Engelfriet | Jan Treur Temporal theories of reasoning
Non-fictie
Engels | Vrije Universiteit, Faculteit der Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Michiel van Lambalgen Independence structures in set theory
Non-fictie
Engels | 28 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1994
Gedrukt boek
M. de Rijke A Lindström theorem for modal logic
Non-fictie
Engels | 13 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1994
Gedrukt boek
Natasha Alechina Logic with probabilistic operators
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek