Alles van: Theo M.V. Janssen
Resultaat 1 - 20 (van 22)
Theo M.V. Janssen Compiler correctness and the translation of logics
Non-fictie
Engels | 10 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2007
Gedrukt boek
Theo M.V. Janssen Independence and Hintikka games
Non-fictie
Engels | 10 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2007
Gedrukt boek
Xavier Caicedo | Francien Dechesne | Theo M.V. Janssen Equivalence and quantier rules for logic with imperfect information
Non-fictie
Engels | 42 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2007
Gedrukt boek
Theo M.V. Janssen | Francien Dechesne Signalling in IF games: a tricky business
Non-fictie
Engels | 21 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2005
Gedrukt boek
Theo M.V. Janssen Independent choices and the interpretation of IF Logic
Non-fictie
Engels | 22 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2002
Gedrukt boek
Theo M.V. Janssen Compositionality
Non-fictie
Engels | 52 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1996
Gedrukt boek
Theo M.V. Janssen An algebraic view on Rosetta
Non-fictie
Engels | 17 pagina's | Institute for Logic, Language and Computation, Amsterdam | 1993
Gedrukt boek
Theo M.V. Janssen Models for discourse markers
Non-fictie
Engels | 14 pagina's | Institute for Language, Logic and Information, University of Amsterdam, Amsterdam | 1990
Gedrukt boek
Theo M.V. Janssen Towards a universal parsing algorithm for functional grammar
Non-fictie
Engels | 9 pagina's | Institute for Language, Logic and Information, Amsterdam | 1988
Gedrukt boek
Theo M.V. Janssen A mathematical model for the cat framework of Eurotra
Non-fictie
Engels | 13 pagina's | Institute for Language, Logic and Information, University of Amsterdam, Amsterdam | 1988
Gedrukt boek
Theo M.V. Janssen Foundations and applications of Montague grammar
Non-fictie
Engels | 205 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1986
Gedrukt boek
Theo M.V. Janssen Foundations and applications of Montague grammar
Non-fictie
Engels | 237 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1986
Gedrukt boek
Theo M.V. Janssen | Peter van Emde Boas Compositionality of meaning in logic and computer science
Non-fictie
Engels | 7 pagina's | Universiteit van Amsterdam, Mathematisch Instituut, Amsterdam | 1984
Gedrukt boek
Theo M.V. Janssen On problems concerning the quantification in Montague grammar
Engels | 25 pagina's | Stichting Mathematisch Centrum, Amsterdam | 1979
Gedrukt boek
Theo M.V. Janssen Logical investigations on PTQ arising from programming requirements
Non-fictie
Engels | 30 pagina's | Stichting mathematisch centrum, Amsterdam | 1978
Gedrukt boek
Theo M.V. Janssen A computer program for PTQ and its logical reduction rules
Non-fictie
Engels | 26 pagina's | Mathematisch Centrum, Amsterdam | 1977
Gedrukt boek
Theo M.V. Janssen Simulation of a Montague grammar
Non-fictie
Engels | 19 pagina's | Mathematisch Centrum, Amsterdam | 1977
Gedrukt boek
Theo M.V. Janssen | Peter van Emde Boas On the proper treatment of referencing, dereferencing and assignment
Non-fictie
Engels | 18 pagina's | Mathematisch Centrum, Amsterdam | 1977
Gedrukt boek
Theo M.V. Janssen | Peter van Emde Boas The expressive power of intensional logic in the semantics of programming languages
Non-fictie
Engels | Mathematisch Centrum, Amsterdam | 1977
Gedrukt boek
Peter van Emde Boas | Theo M.V. Janssen | A. Schrijver Each complete bipartite graph minus a matching is representable by line segments
Non-fictie
Engels | 7 pagina's | Mathematisch Centrum, Amsterdam | 1976
Gedrukt boek