Zoekresultaten
Resultaat 21 - 40 (van 88)
D. Griffioen | H.P. Korver The Bakery Protocol
a comparative case-study in formal verification
Non-fictie
Engels | 25 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
Frans Voorbraak Combining unreliable pieces of evidence
Non-fictie
Engels | 24 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1995
Gedrukt boek
G. Barthe Strong normalisation of quotient and subset types in higher order logic
Non-fictie
Engels | 9 pagina's | Computing Science Institute, Faculty of Mathematics and Informatics, [Katholieke Universiteit Nijmegen], Nijmegen | 1995
Gedrukt boek
W.J. Fokkink On the completeness of the equations for the Kleene star in bisimulation
Non-fictie
Engels | 15 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
H.P. Korver | M.P.A. Sellink Formalising LPOs and invariants in Coq
Non-fictie
Engels | 20 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
J.F. Groote | M.P.A. Sellink Confluence for process verification
Non-fictie
Engels | 37 pagina's | Utrecht University, Department of Philosophy, Utrecht | 1995
Gedrukt boek
Vladimir Kanovei | Michiel van Lambalgen On a spector ultrapower of the Solovay model
Non-fictie
Engels | 8 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1995
Gedrukt boek
D. Dams | J.F. Groote Specification and implementation of components of a →m⇋CRL toolbox
Non-fictie
Engels | 75 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
Fuzzy logic and its applications to engineering, information sciences, and intelligent systems
Non-fictie
Engels | 481 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1995
Gedrukt boek
J. Jaspars Partial up and down logic
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Angelo Montanari | M. de Rijke Two-sorted metric temporal logics
Non-fictie
Engels | 27 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Alexei P. Kopylov The undecidability of second order linear affine logic
Non-fictie
Engels | 10 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1995
Gedrukt boek
Patrick Blackburn | M. de Rijke | Yde Venema Relational methods in logic, language and information
Non-fictie
Engels | 17 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Hans van Maaren | J.F. Groote | Michiel Rozema Verification of propositional formulae by means of convex and concave transforms
Non-fictie
Engels | Delft University of Technology, Faculty of Technical Mathematics and Informatics, Delft | 1995
Gedrukt boek
Patrick Blackburn | W.P.M. Meyer Viol | M. de Rijke A proof system for finite trees
Non-fictie
Engels | 19 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
Jeroen Groenendijk | Martin Stokhof | Frank Veltman Coreference and contextually restricted quantification
Non-fictie
Engels | 18 pagina's | Institute for logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1995
Gedrukt boek
Jeroen Groenendijk | Martin Stokhof | Frank Veltman Coreference and modality
Non-fictie
Engels | 34 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1995
Gedrukt boek
W. van der Hoek | J. Jaspars | Elias Thijsse Honesty in partial logic
Non-fictie
Engels | 30 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
H. Andréka | Johan van Benthem | I. Németi Back and forth between modal logic and classical logic
Non-fictie
Engels | 48 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1995
Gedrukt boek
Jan Springintveld Algorithms for type theory
Non-fictie
Engels | 187 pagina's | Universiteit Utrecht, Faculteit Wijsbegeerte, Utrecht | 1995
Gedrukt boek