Zoekresultaten
Resultaat 1 - 20 (van 69)
Lex Hendriks Computations in propositional logic
Non-fictie
Engels | 188 pagina's | Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam | 1996
Gedrukt boek
M.P.A. Sellink Computer-aided verification of protocols
the type theoretic approach
Non-fictie
Engels | 192 pagina's | Universiteit Utrecht, Faculteit Wijsbegeerte, Utrecht | 1996
Gedrukt boek
Proof theory of modal logic
Non-fictie
Engels | 317 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1996
Gedrukt boek
J.A. Bergstra | J.C. van de Pol A calculus for sequential logic with 4 values
Non-fictie
Engels | 8 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
M.J. Hollenberg Safety for bisimulation in monadic second-order logic
Non-fictie
Engels | 19 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
Søren Riis Count(q) versus the pigeon-hole principle
Non-fictie
Engels | 43 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1996
Gedrukt boek
Andrea Cantini Logical frameworks for truth and abstraction
an axiomatic study
Non-fictie
Engels | 461 pagina's | Elsevier, Amsterdam [etc.] | 1996
Gedrukt boek
Maciej Wygralak Vaguely defined objects
representations, fuzzy sets, and nonclassical cardinality theory
Non-fictie
Engels | 265 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1996
Gedrukt boek
Angelo Montanari Metric and layered temporal logic for time granularity
Non-fictie
Engels | 164 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1996
Gedrukt boek
Domenico Zambella On forcing in bounded arithmetic
Non-fictie
Engels | 15 pagina's | Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam | 1996
Gedrukt boek
B.P.F. Jacobs Automata and behaviours in categories of processes
Non-fictie
Engels | 14 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1996
Gedrukt boek
Norman M. Martin | Stephen Pollard Closure spaces and logic
Non-fictie
Engels | 230 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1996
Gedrukt boek
International Federation for Information Processing Representations of discrete functions
Non-fictie
Engels | 331 pagina's | Kluwer Academic Publishers, Boston [etc.], Dordrecht | 1996
Gedrukt boek
Giovanna D'Agostino | M.J. Hollenberg Uniform interpolation, automata and the modal →m⇋-calculus
Non-fictie
Engels | 18 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
W.J. Fokkink | J.C. van de Pol Correct transformation of rewrite systems for implementation purposes
Non-fictie
Engels | 16 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
Lex Hendriks Intuitionistic propositional logic with only equivalence has no interpolation
Non-fictie
Engels | 6 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1996
Gedrukt boek
Vladimir Kanovei On a dichotomy related to colourings of definable graphs in generic models
Non-fictie
Engels | 24 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1996
Gedrukt boek
A.S. Troelstra From constructivism to computer science
Non-fictie
Engels | 25 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1996
Gedrukt boek
Jon Barwise | Johan van Benthem Interpolation, preservation, and pebble games
Non-fictie
Engels | 28 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1996
Gedrukt boek
Kees Doets Proper classes
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam | 1996
Gedrukt boek