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-12:
Julia Ilin Filtration Revisited: Lattices of Stable Non-Classical Logics
For ordering, please contact the ILLC Buro.
DS-2018-11:
Malvin Gattinger New Directions in Model Checking Dynamic Epistemic Logic
For ordering, please contact the ILLC Buro.
DS-2018-10:
Chenwei Shi Reason to Believe
For ordering, please contact the ILLC Buro.
DS-2018-09:
Hugo de Holanda Cunha Nobrega Games for functions: Baire classes, Weihrauch degrees, transfinite computations, and ranks
For ordering, please contact the ILLC Buro.
DS-2018-08:
Srinivasan Arunachalam Quantum Algorithms and Learning Theory
For ordering, please contact the ILLC Buro.
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