Universiteit van Amsterdam

ILLC Dissertations (DS) Series

For ordering copies of ILLC dissertations, please contact the .

Complementing the dissertations listed below, the ILLC 'Historical Dissertations' Series is a new initiative meant to make some dissertations available that are of historical, and partly also contemporary relevance to the ILLC, and that are not readily accessible elsewhere.

DS-2018-07:
Julian Schlöder Assertion and Rejection
DS-2018-06:
Thomas Brochhagen Signaling under Uncertainty
For ordering, please contact the ILLC Buro.
DS-2018-05:
Joachim Daiber Typologically Robust Statistical Machine Translation: Understanding and Exploiting Differences and Similarities Between Languages in Machine Translation
For ordering, please contact the ILLC Buro.
DS-2018-04:
Jelle Bruineberg Anticipating Affordances: Intentionality in self-organizing brain-body-environment systems
For ordering, please contact the ILLC Buro.
DS-2018-03:
Corina Koolen Reading beyond the female: The relationship between perception of author gender and literary quality
For ordering, please contact the ILLC Buro.
DS-2018-02:
Hugo Huurdeman Supporting the Complex Dynamics of the Information Seeking Process
For ordering, please contact the ILLC Buro.
DS-2018-01:
Berit Janssen Retained or Lost in Transmission? Analyzing and Predicting Stability in Dutch Folk Songs
For ordering, please contact the ILLC Buro.
DS-2017-09:
Miloš Stanojević Permutation Forests for Modeling Word Order in Machine Translation
For ordering, please contact the ILLC Buro.
DS-2017-08:
Raquel Garrido Alhama Computational Modelling of Artificial Language Learning: Retention, Recognition & Recurrence
For ordering, please contact the ILLC Buro.
DS-2017-07:
Aybüke Özgün Evidence in Epistemic Logic: A Topological Perspective
For ordering, please contact the ILLC Buro.
DS-2017-06:
Peter Hawke The Problem of Epistemic Relevance
Not available for ordering in Hard Copy.
DS-2017-05:
Shane Noah Steinert-Threlkeld Communication and Computation: New Questions About Compositionality
Not available for ordering in Hard Copy.
DS-2017-04:
Giovanni Cinà Categories for the working modal logician
For ordering, please contact the ILLC Buro.
DS-2017-03:
Matthijs Westera Exhaustivity and intonation: a unified theory
For ordering, please contact the ILLC Buro.
DS-2017-02:
Riccardo Pinosio The Logic of Kant's Temporal Continuum
For ordering, please contact the ILLC Buro.
DS-2017-01:
Paolo Galeazzi Play Without Regret
For ordering, please contact the ILLC Buro.
DS-2016-10:
Paula Henk Nonstandard Provability for Peano Arithmetic. A Modal Perspective
For ordering, please contact the ILLC Buro.
DS-2016-09:
Teresa Piovesan Quantum entanglement: insights via graph parameters and conic optimization
For ordering, please contact the ILLC Buro.
DS-2016-08:
Florian Speelman Position-based Quantum Cryptography and Catalytic Computation
For ordering, please contact the ILLC Buro.
DS-2016-07:
Andreas van Cranenburgh Rich Statistical Parsing and Literary Language
For ordering, please contact the ILLC Buro.
DS-2016-06:
Gideon Maillette de Buy Wenniger Aligning the Foundations of Hierarchical Statistical Machine Translation
For ordering, please contact the ILLC Buro.
DS-2016-05:
Phong Lê Learning Vector Representations for Sentences - The Recursive Deep Learning Approach
For ordering, please contact the ILLC Buro.
DS-2016-04:
Johannes Marti Interpreting Linguistic Behavior with Possible World Models
For ordering, please contact the ILLC Buro.
DS-2016-03:
Fleur Leonie Bouwer What do we need to hear a beat? The influence of attention, musical abilities, and accents on the perception of metrical rhythm
For ordering, please contact the ILLC Buro.
DS-2016-02:
Zoé Christoff Dynamic Logics of Networks: Information Flow and the Spread of Opinion
For ordering, please contact the ILLC Buro.
DS-2016-01:
Ivano A. Ciardelli Questions in Logic
For ordering, please contact the ILLC Buro.
DS-2015-05:
Facundo Carreiro Fragments of Fixpoint Logics: Automata and Expressiveness
For ordering, please contact the ILLC Buro.
DS-2015-04:
Sumit Sourabh Correspondence and Canonicity in Non-Classical Logic
For ordering, please contact the ILLC Buro.
DS-2015-03:
Shengyang Zhong Orthogonality and Quantum Geometry: Towards a Relational Reconstruction of Quantum Theory
For ordering, please contact the ILLC Buro.
DS-2015-02:
Mathias Winther Madsen The Kid, the Clerk, and the Gambler - Critical Studies in Statistics and Cognitive Science
For ordering, please contact the ILLC Buro.
DS-2015-01:
María Inés Crespo Affecting Meaning. Subjectivity and evaluativity in gradable adjectives.
For ordering, please contact the ILLC Buro.
DS-2014-04:
Ben Rodenhäuser A Matter of Trust: Dynamic Attitudes in Epistemic Logic
For ordering, please contact the ILLC Buro.
DS-2014-03:
Harald A. Bastiaanse Very, Many, Small, Penguins
For ordering, please contact the ILLC Buro.
DS-2014-02:
Thomas Icard The Algorithmic Mind: A Study of Inference in Action
Not available for ordering in Hard Copy.
DS-2014-01:
Machiel Keestra Sculpting the Space of Actions. Explaining Human Action by Integrating Intentions and Mechanisms
For ordering, please contact the ILLC Buro.
DS-2013-03:
Giannicola Scarpa Quantum entanglement in non-local games, graph parameters and zero-error information theory
For ordering, please contact the ILLC Buro.
DS-2013-02:
Virginie Fiutek Playing with Knowledge and Belief
For ordering, please contact the ILLC Buro.
DS-2013-01:
Simon Pauw Size Matters: Grounding Quantifiers in Spatial Perception
For ordering, please contact the ILLC Buro.
DS-2012-12:
Joris Dormans Engineering emergence: applied theory for game design
Not available for ordering in Hard Copy.
DS-2012-11:
Floor Sietsma Logics of Communication and Knowledge
For ordering, please contact the ILLC Buro.
DS-2012-10:
Jeremy Meyers Locations, Bodies, and Sets: A model theoretic investigation into nominalistic mereologies
Not available for ordering in Hard Copy.
DS-2012-09:
Wesley Halcrow Holliday Knowing What Follows: Epistemic Closure and Epistemic Logic
Not available for ordering in Hard Copy.
DS-2012-08:
Umberto Grandi Binary Aggregation with Integrity Constraints
For ordering, please contact the ILLC Buro.
DS-2012-07:
Pietro Galliani The Dynamics of Imperfect Information
For ordering, please contact the ILLC Buro.
DS-2012-06:
Dimitris Gakis Contextual Metaphilosophy - The Case of Wittgenstein
For ordering, please contact the ILLC Buro.
DS-2012-05:
David García Soriano Query-Efficient Computation in Property Testing and Learning Theory
For ordering, please contact the ILLC Buro.
DS-2012-04:
Yurii Khomskii Regularity Properties and Definability in the Real Number Continuum: idealized forcing, polarized partitions, Hausdorff gaps and mad families in the projective hierarchy.
For ordering, please contact the ILLC Buro.
DS-2012-03:
Edgar José Andrade Lotero Models of Language: Towards a practice-based account of information in natural language
For ordering, please contact the ILLC Buro.
DS-2012-02:
Markos Mylonakis Learning the Latent Structure of Translation
For ordering, please contact the ILLC Buro.
DS-2012-01:
Federico Sangati Decomposing and Regenerating Syntactic Trees
For ordering, please contact the ILLC Buro.
DS-2011-11:
Gideon Borensztajn The neural basis of structure in language
For ordering, please contact the ILLC Buro.
DS-2011-10:
Lena Kurzen Complexity in Interaction
For ordering, please contact the ILLC Buro.
DS-2011-09:
Raul Andres Leal Modalities Through the Looking Glass: A study on coalgebraic modal logic and their applications
For ordering, please contact the ILLC Buro.
DS-2011-08:
Stefan Minica Dynamic Logic of Questions
For ordering, please contact the ILLC Buro.
DS-2011-07:
Jop Briët Grothendieck Inequalities, Nonlocal Games and Optimization
For ordering, please contact the ILLC Buro.
DS-2011-06:
Rianne Kaptein Effective Focused Retrieval by Exploiting Query Context and Document Structure
For ordering, please contact the ILLC Buro.
DS-2011-05:
Lauri Keskinen Characterizing All Models in Infinite Cardinalities
For ordering, please contact the ILLC Buro.
DS-2011-04:
Junte Zhang System Evaluation of Archival Description and Access
For ordering, please contact the ILLC Buro.
DS-2011-03:
Marijn Koolen The Meaning of Structure: the Value of Link Evidence for Information Retrieval
For ordering, please contact the ILLC Buro.
DS-2011-02:
Fernando Raymundo Velazquez-Quesada Small steps in dynamics of information
For ordering, please contact the ILLC Buro.
DS-2011-01:
Wouter M. Koolen Combining Strategies Efficiently: High-Quality Decisions from Conflicting Advice
For ordering, please contact the ILLC Buro.
DS-2010-12:
Martin Mose Bentzen Stit, Iit, and Deontic Logic for Action Types
Not available for ordering in Hard Copy.
DS-2010-11:
Nina Gierasimczuk Knowing One's Limits. Logical Analysis of Inductive Inference
For ordering, please contact the ILLC Buro.
DS-2010-10:
Jacob Vosmaer Logic, Algebra and Topology. Investigations into canonical extensions, duality theory and point-free topology.
For ordering, please contact the ILLC Buro.
DS-2010-09:
Gaëlle Fontaine Modal Fixpoint Logic: Some Model Theoretic Questions
For ordering, please contact the ILLC Buro.
DS-2010-08:
Amélie Gheerbrant Fixed-Point Logics on Trees
For ordering, please contact the ILLC Buro.
DS-2010-07:
Marc Staudacher Use theories of meaning between conventions and social norms
For ordering, please contact the ILLC Buro.
DS-2010-06:
Yanjing Wang Epistemic Modelling and Protocol Dynamics
For ordering, please contact the ILLC Buro.
DS-2010-05:
Jarmo Kontinen Coherence and Complexity in Fragments of Dependence Logic
For ordering, please contact the ILLC Buro.
DS-2010-04:
Daisuke Ikegami Games in Set Theory and Logic
For ordering, please contact the ILLC Buro.
DS-2010-03:
Cédric Dégremont The Temporal Mind. Observations on the logic of belief change in interactive systems
For ordering, please contact the ILLC Buro.
DS-2010-02:
Jonathan Zvesper Playing with Information
For ordering, please contact the ILLC Buro.
DS-2010-01:
Reut Tsarfaty Relational-Realizational Parsing
For ordering, please contact the ILLC Buro.
DS-2009-13:
Stefan Bold Cardinals as Ultrapowers. A Canonical Measure Analysis under the Axiom of Determinacy.
Not available for ordering in Hard Copy.
DS-2009-12:
Joel Uckelman More Than the Sum of Its Parts: Compact Preference Representation Over Combinatorial Domains
For ordering, please contact the ILLC Buro.
DS-2009-11:
Michael Franke Signal to Act: Game Theory in Pragmatics
For ordering, please contact the ILLC Buro.
DS-2009-10:
Tikitu de Jager "Now that you mention it, I wonder...": Awareness, Attention, Assumption
For ordering, please contact the ILLC Buro.
DS-2009-09:
Olivia Ladinig Temporal expectations and their violations
For ordering, please contact the ILLC Buro.
DS-2009-08:
Tomohiro Hoshi Epistemic Dynamics and Protocol Information
Not available for ordering in Hard Copy.
DS-2009-07:
Kata Balogh Theme with Variations. A Context-based Analysis of Focus
For ordering, please contact the ILLC Buro.
DS-2009-06:
Chantal Bax Subjectivity after Wittgenstein. Wittgenstein's embodied and embedded subject and the debate about the death of man.
For ordering, please contact the ILLC Buro.
DS-2009-05:
Andreas Witzel Knowledge and Games: Theory and Implementation
For ordering, please contact the ILLC Buro.
DS-2009-04:
Sara L. Uckelman Modalities in Medieval Logic
For ordering, please contact the ILLC Buro.
DS-2009-03:
Brian Thomas Semmes A Game for the Borel Functions
Not available for ordering in Hard Copy.
DS-2009-02:
Hartmut Fitz Neural Syntax
For ordering, please contact the ILLC Buro.
DS-2009-01:
Jakub Szymanik Quantifiers in TIME and SPACE. Computational Complexity of Generalized Quantifiers in Natural Language
For ordering, please contact the ILLC Buro.
DS-2008-10:
Marian Counihan Looking for logic in all the wrong places: an investigation of language, literacy and logic in reasoning
For ordering, please contact the ILLC Buro.
DS-2008-09:
Floris Roelofsen Anaphora Resolved
For ordering, please contact the ILLC Buro.
DS-2008-08:
Fabrice Nauze Modality in Typological Perspective
For ordering, please contact the ILLC Buro.
DS-2008-07:
Steven de Rooij Minimum Description Length Model Selection: Problems and Extensions
For ordering, please contact the ILLC Buro.
DS-2008-06:
Falk Unger Noise in Quantum and Classical Computation and Non-locality
For ordering, please contact the ILLC Buro.
DS-2008-05:
Erik Rietveld Unreflective Action: A Philosophical Contribution to Integrative Neuroscience
Not available for ordering in Hard Copy
DS-2008-04:
Patrick Girard Modal Logic for Belief and Preference Change
For ordering, please contact the ILLC Buro.
DS-2008-03:
Olivier Roy Thinking before Acting: Intentions, Logic, Rational Choice
For ordering, please contact the ILLC Buro.
DS-2008-02:
Fenrong Liu Changing for the Better: Preference Dynamics and Agent Diversity
For ordering, please contact the ILLC Buro.
DS-2008-01:
Stephanie Wehner Cryptography in a Quantum World
For ordering, please contact the ILLC Buro.
DS-2007-05:
Yoav Seginer Learning Syntactic Structure
For ordering, please contact the ILLC Buro.
DS-2007-04:
Katrin Schulz Minimal Models in Semantics and Pragmatics: Free Choice, Exhaustivity, and Conditionals
For ordering, please contact the ILLC Buro.
DS-2007-03:
Darrin Hindsill It's a Process and an Event: Perspectives in Event Semantics
For ordering, please contact the ILLC Buro.
DS-2007-02:
Neta Spiro What contributes to the perception of musical phrases in western classical music?
For ordering, please contact the ILLC Buro.
DS-2007-01:
Rudi Cilibrasi Statistical Inference Through Data Compression
Not available for ordering in Hard Copy.
DS-2006-08:
Darko Sarenac Products of Topological Modal Logics
Not available for ordering in Hard Copy.
DS-2006-07:
Marie Nilsenova Rises and Falls. Studies in the Semantics and Pragmatics of Intonation
For ordering, please contact the ILLC Buro.
DS-2006-06:
Merlijn Sevenster Branches of imperfect information: logic, games, and computation
For ordering, please contact the ILLC Buro.
DS-2006-05:
Aline Honingh The Origin and Well-Formedness of Tonal Pitch Structures
Not available for ordering in Hard Copy
DS-2006-04:
Robert Špalek Quantum Algorithms, Lower Bounds, and Time-Space Tradeoffs
For ordering, please contact the ILLC Buro.
DS-2006-03:
Clemens Kupke Finitary coalgebraic logics
For ordering, please contact the ILLC Buro.
DS-2006-02:
Nick Bezhanishvili Lattices of intermediate and cylindric modal logics
For ordering, please contact the ILLC Buro.
DS-2006-01:
Troy Lee Kolmogorov complexity and formula size lower bounds
For ordering, please contact the ILLC Buro.
DS-2005-05:
Sieuwert van Otterloo A Strategic Analysis of Multi-agent Protocols
For ordering, please contact the ILLC Buro.
DS-2005-04:
Anna Pilatova A User's Guide to Proper names: Their Pragmatics and Semanics
For ordering, please contact the ILLC Buro.
DS-2005-03:
Rosja Mastop What can you do? Imperative mood in Semantic Theory
For ordering, please contact the ILLC Buro.
DS-2005-02:
Willem-Jan van Hoeve Operations Research Techniques in Constraint Programming
For ordering, please contact the ILLC Buro.
DS-2005-01:
Balder David ten Cate Model theory for extended modal languages
For ordering, please contact the ILLC Buro.
DS-2004-03:
Boudewijn de Bruin Explaining Games. On the Logic of Game Theoretic Explanations
Not available for ordering in Hard Copy
DS-2004-02:
Sebastian Brand Rule-based Constraint Propagation: Theory and Applications
For ordering, please contact the ILLC Buro.
DS-2004-01:
Hein Philipp Röhrig Quantum Query Complexity and Distributed Computing
For ordering, please contact the ILLC Buro.
DS-2003-04:
Christof Monz From Document Retrieval to Question Answering
For ordering, please contact the ILLC Buro.
DS-2003-03:
Juan Heguiabehere Building Logic Toolboxes
For ordering, please contact the ILLC Buro.
DS-2003-02:
Elisabeth Catherine Brouwer Imagining Metaphors: Cognitive Representation in Interpretation and Understanding
For ordering, please contact the ILLC Buro.
DS-2003-01:
Barteld Kooi Knowledge, chance, and change
For ordering, please contact the ILLC Buro.
DS-2002-06:
Ivar Vermeulen A Logical Approach to Competition in Industries
For ordering, please contact the ILLC Buro.
DS-2002-05:
Rosella Gennari Mapping Inferences: Constraint Propagation and Diamond Satisfaction
For ordering, please contact the ILLC Buro.
DS-2002-04:
Willem Klaas van Dam On Quantum Computation Theory
For ordering, please contact the ILLC Buro.
DS-2002-03:
Yuri Engelhardt The Language of Graphics
Not available for ordering in Hard Copy.
DS-2002-02:
Marco Aiello Spatial Reasoning: Theory and Practice
For ordering, please contact the ILLC Buro.
DS-2002-01:
Nikos Massios Decision-Theoretic Robotic Surveillance
For ordering, please contact the ILLC Buro.
DS-2001-10:
Marc Pauly Logic for Social Software
Not available for ordering in Hard Copy
DS-2001-09:
Gwen Kerdiles Saying It with Pictures: a Logical Landscape of Conceptual Graphs
For ordering, please contact the ILLC Buro.
DS-2001-08:
Allard Tamminga Belief Dynamics. (Epistemo)logical Investigations
For ordering, please contact the ILLC Buro.
DS-2001-07:
Katsumi Sasaki Logics and Provability
For ordering, please contact the ILLC Buro.
DS-2001-06:
Ronald de Wolf Quantum Computing and Communication Complexity
For ordering, please contact the ILLC Buro.
DS-2001-05:
Eva Hoogland Definability and Interpolation: Model-theoretic investigations
For ordering, please contact the ILLC Buro.
DS-2001-04:
Rosalie Iemhoff Provability Logic and Admissible Rules
For ordering, please contact the ILLC Buro.
DS-2001-03:
Erik de Haas Logics For OO Information Systems: a Semantic Study of Object Orientation from a Categorial Substructural Perspective
For ordering, please contact the ILLC Buro.
DS-2001-02:
Alexander van den Bosch Rationality in Discovery - a study of Logic, Cognition, Computation and Neuropharmacology
For ordering, please contact the ILLC Buro.
DS-2001-01:
Maria Aloni Quantification under Conceptual Covers
For ordering, please contact the ILLC Buro.
DS-2000-07:
Egbert L.J. Fortuin Polysemy or monosemy: Interpretation of the imperative and the dative-infinitive construction in Russian
For ordering, please contact the ILLC Buro.
DS-2000-06:
Hans van Ditmarsch Knowledge Games
Not available for ordering in Hard Copy
DS-2000-05:
Carlos Areces Logic Engineering. The Case of Description and Hybrid Logics
For ordering, please contact the ILLC Buro.
DS-2000-04:
Paul van Ulsen E.W. Beth als logicus
Not available for ordering in Hard Copy
DS-2000-03:
Marco Vervoort Games, Walks and Grammars: Problems I've Worked On
For ordering, please contact the ILLC Buro.
DS-2000-02:
Jaap Kamps A Logical Approach to Computational Theory Building (with applications to sociology)
For ordering, please contact the ILLC Buro.
DS-2000-01:
Renata Wassermann Resource Bounded Belief Revision
For ordering, please contact the ILLC Buro.
DS-1999-04:
Barbara Terhal Quantum Algorithms and Quantum Entanglement
For ordering, please contact the ILLC Buro.
DS-1999-03:
Jaap Maat Philosophical Languages in the Seventeenth Century: Dalgarno, Wilkins, Leibniz
Not available for ordering in Hard Copy
DS-1999-02:
Khalil Sima'an Learning efficient disambiguation
For ordering, please contact the ILLC Buro.
DS-1999-01:
Jelle Gerbrandy Bisimulations on Planet Kripke
For ordering, please contact the ILLC Buro.
DS-1998-05:
Mehdi Dastani Languages of Perception
For ordering, please contact the ILLC Buro.
DS-1998-04:
Giovanna d'Agostino Modal Logic and Non-Well-Founded Set Theory: Translation, Bisimulation, Interpolation
For ordering, please contact the ILLC Buro.
DS-1998-03:
Peter Grunwald The Minimum Description Length Principle and Reasoning under Uncertainty
Not available for ordering in Hard Copy
DS-1998-02:
Sjoerd D. Zwart Approach to the Truth: Verisimilitude and Truthlikeness
For ordering, please contact the ILLC Buro.
DS-1998-01:
Sebastiaan A. Terwijn Computability and Measure
For ordering, please contact the ILLC Buro.
DS-1997-06:
Leonie Bosveld - de Smet On Mass and Plural Quantification. The Case of French `des'/`du'-NP's
For ordering, please contact the ILLC Buro.
DS-1997-05:
Harry Stein The Fiber and the Fabric: An Inquiry into Wittgenstein's Views on Rule-Following and Linguistic Normativity
Not available for ordering in Hard Copy
DS-1997-04:
Atocha Aliseda-LLera Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence
Not available for ordering in Hard Copy
DS-1997-03:
Arthur Nieuwendijk On Logic. Inquiries into the Justification of Deduction
Not available for ordering in Hard Copy
DS-1997-02:
Natasa Rakic Common Sense Time and Special Relativity
Not available for ordering in Hard Copy
DS-1997-01:
Ronald Cramer Modular Design of Secure yet Practical Cryptographic Protocols
For ordering, please contact the ILLC Buro.
DS-1996-04:
Jeroen Bruggeman Formalizing Organizational Ecology
For ordering, please contact the ILLC Buro.
DS-1996-03:
Martin H. van den Berg Some Aspects of the Internal Structure of Discourse: the Dynamics of Nominal Anaphora
Not available for ordering in Hard Copy
DS-1996-02:
Angelo Montanari Metric and Layered Temporal Logic for Time Granularity
For ordering, please contact the ILLC Buro.
DS-1996-01:
Lex Hendriks Computations in Propositional Logic
For ordering, please contact the ILLC Buro.
DS-1995-20:
Natasha Alechina Modal Quantifiers
For ordering, please contact the ILLC Buro.
DS-1995-19:
Erik Aarts Investigations in Logic, Language and Computation
For ordering, please contact the ILLC Buro.
DS-1995-18:
Willem Groeneveld Logical Investigations into Dynamic Semantics
Not available for ordering in Hard Copy
DS-1995-17:
Michiel Leezenberg Contexts of Metaphor
Not available for ordering in Hard Copy
DS-1995-16:
Sophie Fischer The Solution Sets of Local Search Problems
For ordering, please contact the ILLC Buro.
DS-1995-15:
Marten Trautwein Computational Pitfalls in Tractable Grammatical Formalisms
For ordering, please contact the ILLC Buro.
DS-1995-14:
Rens Bod Enriching Linguistics with Statistics: Performance Models of Natural Language
Not available for ordering in Hard Copy
DS-1995-13:
Marianne Kalsbeek Meta-Logics for Logic Programming
For ordering, please contact the ILLC Buro.
DS-1995-12:
Szabolcs Mikulás Taming Logics
Not available for ordering in Hard Copy
DS-1995-11:
W.P.M. Meyer Viol Instantial Logic. An Investigation into Reasoning with Instances
Not available for ordering in Hard Copy
DS-1995-10:
Giovanna Cepparello Studies in Dynamic Logic
Not available for ordering in Hard Copy
DS-1995-09:
G.J. Veltink Tools for PSF
For ordering, please contact the ILLC Buro.
DS-1995-08:
Natasha Kurtonina Frames and Labels. A Modal Analysis of Categorial Inference
Not available for ordering in Hard Copy
DS-1995-07:
Sandro Etalle Transformation and Analysis of (Constraint) Logic Programs
For ordering, please contact the ILLC Buro.
DS-1995-06:
Jos van Wamel Verification Techniques for Elementary Data Types and Retransmission Protocols
For ordering, please contact the ILLC Buro.
DS-1995-05:
Frank Tip Generation of Program Analysis Tools
For ordering, please contact the ILLC Buro.
DS-1995-04:
Dejuan Wang Study on the Formal Semantics of Pictures
For ordering, please contact the ILLC Buro.
DS-1995-03:
Maarten Marx Algebraic Relativization and Arrow Logic
For ordering, please contact the ILLC Buro.
DS-1995-02:
Andreja Prijatelj Investigating Bounded Contraction
For ordering, please contact the ILLC Buro.
DS-1995-01:
Jacob Brunekreef On Modular Algebraic Protocol Specification
For ordering, please contact the ILLC Buro.
DS-1994-10:
Zhisheng Huang Logics for Agents with Bounded Rationality
For ordering, please contact the ILLC Buro.
DS-1994-09:
Wan Fokkink Clocks, Trees and Stars in Process Theory
For ordering, please contact the ILLC Buro.
DS-1994-08:
Makoto Kanazawa Learnable Classes of Categorial Grammars
For ordering, please contact the ILLC Buro.
DS-1994-07:
V. Yu. Shavrukov Adventures in Diagonalizable Algebras
For ordering, please contact the ILLC Buro.
DS-1994-06:
Domenico Zambella Chapters on Bounded Arithmetic and on Provability Logic
For ordering, please contact the ILLC Buro.
DS-1994-05:
Arie van Deursen Executable Language Definitions, Case Studies and Origin Tracking Techniques
For ordering, please contact the ILLC Buro.
DS-1994-04:
Jan Jaspars Calculi for Constructive Communication, a Study of the Dynamics of Partial States
For ordering, please contact the ILLC Buro.
DS-1994-03:
Nicoline Johanna Drost Process Theory and Equation Solving
For ordering, please contact the ILLC Buro.
DS-1994-02:
Jan Willem Cornelis Koorn Generating Uniform User-Interfaces for Interactive Programming Environments
For ordering, please contact the ILLC Buro.
DS-1994-01:
Harold Schellinx The Noble Art of Linear Decorating
For ordering, please contact the ILLC Buro.
DS-1993-06:
John Tromp Aspects of Algorithms and Complexity
Not available for ordering in Hard Copy
DS-1993-05:
Herman Hendriks Studied Flexibility
For ordering, please contact the ILLC Buro.
DS-1993-04:
Maarten de Rijke Extending Modal Logic
Not available for ordering in Hard Copy
DS-1993-03:
Rineke Verbrugge Efficient Metamathematics
For ordering, please contact the ILLC Buro.
DS-1993-02:
Harry Buhrman Resource Bounded Reductions
For ordering, please contact the ILLC Buro.
DS-1993-01:
Paul Dekker Transsentential Meditations; Ups and downs in dynamic semantics
Not available for ordering in Hard Copy

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X