Zoekresultaten
Resultaat 41 - 60 (van 105)
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
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
Patrick Blackburn | M. de Rijke Zooming in, zooming out
Non-fictie
Engels | 22 pagina's | Centrum voor Wiskunde en Informatica, 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
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
J.F. Groote | S.F.M. van Vlijmen Modal logic for →m⇋CRL
Non-fictie
Engels | 17 pagina's | Utrecht Research Institute for Philosophy, Utrecht | 1994
Gedrukt boek
Marco R. Vervoort An elementary construction of an ultrafilter on N1 using the axiom of determinateness
Non-fictie
Engels | 8 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 1994
Gedrukt boek
Yde Venema A crash course in arrow logic
Non-fictie
Engels | 22 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1994
Gedrukt boek
Institute for Logic, Language and Computation NNIL, a study in intuitionistic propositional logic
Non-fictie
Engels | 38 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1994
Gedrukt boek
Jan Kuper Partiality in logic and computation
aspects of undefinedness
Non-fictie
Engels | 181 pagina's | 1994
Gedrukt boek
Dimitar Gelev Introducing some classical elements of modal logic to the propositional logics of qualitative prohabilities
Non-fictie
Engels | 8 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
J. Jaspars Calculi for constructive communication
a study of the dynamics of partial states
Non-fictie
Engels | 218 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
Jerry Seligman An algebraic appreciation of diagrams
Non-fictie
Engels | 20 pagina's | Institute for Logic, Language and Computation, 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
Natasha Alechina On one decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic
Non-fictie
Engels | 13 pagina's | Institute for Logic, Language and Computation (ILLC), Amsterdam | 1994
Gedrukt boek
Tao Jiang | J. Seiferas | P.M.B. Vitányi Two heads are better than two tapes
Non-fictie
Engels | 12 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
Giovanna D'Agostino | Angelo Montanari | Alberto Policriti A set-theoretic translation method for polymodal logics
Non-fictie
Engels | 16 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1994
Gedrukt boek
D. Dams | O. Grumberg | R. Gerth Abstract interpretation of reactive systems: abstractions preserving ACTL*, ƎCTL* and CTL*
Non-fictie
Engels | 28 pagina's | Eindhoven University of Technology, Department of Mathematics and Computing Science, Computing Science Section, Eindhoven | 1994
Gedrukt boek
Frances Brazier | P.H.G. van Langen | Jan Treur A logical theory of design
Non-fictie
Engels | Vrije Universiteit, Amsterdam | 1994
Gedrukt boek
A. Visser Propositional combinations of →S⇋-sentences in Heyting's arithmetic
Non-fictie
Engels | 41 pagina's | Utrecht Research Institute for Philosophy, Utrecht | 1994
Gedrukt boek