Zoekresultaten
Resultaat 1 - 20 (van 65)
Maarten Marx | M.C. Reynolds Undecidability of compass logic
Non-fictie
Engels | 18 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
Marcus Kracht Tools and techniques in modal logic
Non-fictie
Engels | 559 pagina's | Elsevier, Amsterdam [etc.] | 1999
Gedrukt boek
Handbook of computability theory
Non-fictie
Engels | 727 pagina's | Elsevier, Amsterdam [etc.] | 1999
Gedrukt boek
S.P. Luttik Cylindric process algebras with conditionals give substitutionless pCRL
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1999
Gedrukt boek
S.P. Luttik Complete axiomatisations of weak-, delay- and →ē⇋-bisimulation for process algebras with alternative quantification over data
Non-fictie
Engels | 10 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1999
Gedrukt boek
Marcello Bonsangue | J.N. Kok Towards an infinitary logic of domains
Abramsky logic for transition systems
Non-fictie
Engels | 28 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1999
Gedrukt boek
Joost J. Joosten | A. Visser The interpretability logic of all reasonable arithmetical theories
the new conjecture
Non-fictie
Engels | 25 pagina's | Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 1999
Gedrukt boek
Rosalie Iemhoff On the admissible rules of intuitionistic propositional logic
Non-fictie
Engels | 23 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek
Rosalie Iemhoff A modal analysis of some principles of the provability logic of Heyting arithmetic
Non-fictie
Engels | 37 pagina's | Zeno Institute of Philosophy, The Leiden-Utrecht Research Institute, Utrecht | 1999
Gedrukt boek
Kosta Došen Cut elimination in categories
Non-fictie
Engels | 229 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1999
Gedrukt boek
Maarten Marx Tolerance logic
Non-fictie
Engels | 23 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
Logic and foundations of mathematics
selected contributed papers of the tenth international congress of logic, methodology and philosophy of science, Florence, August 1995
Non-fictie
Engels | 282 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 1999
Gedrukt boek
J.A. Bergstra | Marijke Loots Platform projections, compilers, interpreters and portability
Non-fictie
Engels | 22 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek
J.-J.Ch. Meyer | W. van der Hoek | B. van Linder A logical approach to the dynamics of commitments
Non-fictie
Engels | 37 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek
Giovanna D'Agostino | A. Visser Finality regained
a coalgebraic study of Scott-sets and multisets
Non-fictie
Engels | 36 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek
J.-J.Ch. Meyer Dynamic logic for reasoning about actions and agents
Non-fictie
Engels | 30 pagina's | Onderwijsinstituut CKI, Utrecht University, Utrecht | 1999
Gedrukt boek
Eva Hoogland | Maarten Marx | Martin Otto Beth Definability for the guarded fragment
Non-fictie
Engels | 14 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek
Carlos Areces | Hans de Nivelle | M. de Rijke Prefixed resolution
a resolution method for modal and description logics
Non-fictie
Engels | 15 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek
Maarten Marx | Szabolcs Mikulás | M.C. Reynolds The mosaic method for temporal logics
Non-fictie
Engels | 14 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek
Maarten Marx | S. Schlobach | Szabolcs Mikulás Two-dimensional labelled deduction
Non-fictie
Engels | 18 pagina's | Vrije Universiteit, Amsterdam | 1999
Gedrukt boek