← Catalogus
Serie

ILLC dissertation series

46 delen · door H.A.J.M. Schellinx, H.L.W. Hendriks, L.C. Verbrugge · 1993–2021
Leesvolgorde
  1. The noble art of linear decorating deel 1 (1994)
  2. Studied flexibility deel 5 (1993)
  3. Efficient metamathematics deel 1996-3 (1993)
  4. Extending modal logic deel 1993-4 (1993)
  5. Clocks, trees and stars in process theory deel 1994-9 (1994)
  6. Executable language definitions deel 1994-5 (1994)
  7. Generating uniform user-interfaces for interactive programming environments deel 1994-2 (1994)
  8. Logics for agents with bounded rationality deel 1994-10 (1994)
  9. Process theory and equation solving deel 1994-3 (1994)
  10. Algebraic relativization and arrow logic deel 1995-3 (1995)
  11. Computational pitfalls in tractable grammatical formalisms deel 1995-15 (1995)
  12. Contexts of metaphor deel 1995-17 (1995)
  13. Enriching linguistics with statistics deel 1995-14 (1995)
  14. Generation of program analysis tools deel 1995-5 (1995)
  15. Investigating bounded contraction deel 1995-2 (1995)
  16. Investigations in logic, language and computation deel 1995-19 (1995)
  17. Logical investigations into dynamic semantics deel 1995-18 (1995)
  18. Meta-logics for logic programming deel 1995-13 (1995)
  19. Modal quantifiers deel 1995-20 (1995)
  20. On modular algebraic protocol specification deel 1995-1 (1995)
  21. Studies on the formal semantics of pictures deel 1995-4 (1995)
  22. Taming logics deel 1995-12 (1995)
  23. The solution sets of local search problems deel 1995 - 16 (1995)
  24. Tools for PSF deel 1995-9 (1995)
  25. Verification techniques for elementary data types and retransmission protocols deel 1995-6 (1995)
  26. Metric and layered temporal logic for time granularity deel 1996-02 (1996)
  27. Some aspects of the internal structure of discourse deel 1996-3 (1996)
  28. Playing with Information (2010)
  29. Games in set theory and logic (2010)
  30. Epistemic modelling and protocol dynamics (2010)
  31. Use theories meaning (2010)
  32. Small steps in dynamics of information (2011)
  33. A Quantum View on Convex Optimization deel DS-2020-04 (2020)
  34. Modeling Users Interacting with Smart Devices deel DS-2021-03 (2021)
  35. Collective Decisions with Incomplete Individual Opinions deel 2021-06 (2021)
  36. Approach to the truth deel 1998-2
  37. Common sense time and special relativity deel 97-02
  38. Computability and measure deel 1998-01
  39. Formalizing organizational ecology deel 1996-4
  40. Frames and labels
  41. Knowledge games deel DS 2000 06
  42. Knowledge, chance, and change deel 2003-01
  43. On logic deel 97-03
  44. Seeking explanations deel 97-04
  45. The fiber and the fabric deel 1997-05
  46. Transsentential meditations deel 1993-1
The noble art of linear decorating
H.A.J.M. Schellinx
The noble art of linear decorating
H.A.J.M. Schellinx
Paperback · 1994
Studied flexibility
H.L.W. Hendriks
Studied flexibility
H.L.W. Hendriks
Paperback · 1993
Efficient metamathematics
L.C. Verbrugge
Efficient metamathematics
L.C. Verbrugge
Paperback · 1993
Extending modal logic
M. de Rijke
Extending modal logic
M. de Rijke
Paperback · 1993
Clocks, trees and stars in process theory
W.J. Fokkink
Clocks, trees and stars in process theory
W.J. Fokkink
Paperback · 1994
Executable language definitions
A. van Deursen
Executable language definitions
A. van Deursen
Hardback · 1994
Generating uniform user-interfaces for interactive programming environments
J.W.C. Koorn
Generating uniform user-interfaces for interactive programming environments
J.W.C. Koorn
Paperback · 1994
Logics for agents with bounded rationality
Huang Zhisheng
Logics for agents with bounded rationality
Huang Zhisheng
Paperback · 1994
Process theory and equation solving
N.J. Drost
Process theory and equation solving
N.J. Drost
Paperback · 1994
Algebraic relativization and arrow logic
M.J. Marx
Algebraic relativization and arrow logic
M.J. Marx
Paperback · 1995
Computational pitfalls in tractable grammatical formalisms
M.H. Trautwein
Computational pitfalls in tractable grammatical formalisms
M.H. Trautwein
Paperback · 1995
Contexts of metaphor
M.M. Leezenberg
Contexts of metaphor
M.M. Leezenberg
Paperback · 1995
Enriching linguistics with statistics
L.W.M. Bod
Enriching linguistics with statistics
L.W.M. Bod
Paperback · 1995
Generation of program analysis tools
F. Tip
Generation of program analysis tools
F. Tip
Paperback · 1995
Investigating bounded contraction
A. Prijatelj
Investigating bounded contraction
A. Prijatelj
Paperback · 1995
Investigations in logic, language and computation
H.M.F.M. Aarts
Investigations in logic, language and computation
H.M.F.M. Aarts
Paperback · 1995
Logical investigations into dynamic semantics
W. Groeneveld
Logical investigations into dynamic semantics
W. Groeneveld
Paperback · 1995
Meta-logics for logic programming
M.B. Kalsbeek
Meta-logics for logic programming
M.B. Kalsbeek
Paperback · 1995
Modal quantifiers
N.A. Alechina
Modal quantifiers
N.A. Alechina
Paperback · 1995
On modular algebraic protocol specification
J.J. Brunekreef
On modular algebraic protocol specification
J.J. Brunekreef
Paperback · 1995
Studies on the formal semantics of pictures
D. Wang
Studies on the formal semantics of pictures
D. Wang
Paperback · 1995
Taming logics
S. Mikulas
Taming logics
S. Mikulas
Paperback · 1995
The solution sets of local search problems
S.T. Fischer
The solution sets of local search problems
S.T. Fischer
Paperback · 1995
Tools for PSF
G.J. Veltink
Tools for PSF
G.J. Veltink
Paperback · 1995
Verification techniques for elementary data types and retransmission protocols
J.J. van Wamel
Verification techniques for elementary data types and retransmission protocols
J.J. van Wamel
Paperback · 1995
Metric and layered temporal logic for time granularity
A. Montanari
Metric and layered temporal logic for time granularity
A. Montanari
Paperback · 1996
Some aspects of the internal structure of discourse
M.H. van den Berg
Some aspects of the internal structure of discourse
M.H. van den Berg
Paperback · 1996
Playing with Information
J.A. Zvesper
Playing with Information
J.A. Zvesper
Paperback · 2010
Games in set theory and logic
D. Ikegami
Games in set theory and logic
D. Ikegami
Paperback · 2010
Epistemic modelling and protocol dynamics
Y. Wang
Epistemic modelling and protocol dynamics
Y. Wang
Paperback · 2010
Use theories meaning
M. Staudacher
Use theories meaning
M. Staudacher
Paperback · 2010
Small steps in dynamics of information
F.R. Velasquez Quesada
Small steps in dynamics of information
F.R. Velasquez Quesada
Paperback · 2011
A Quantum View on Convex Optimization
Joran van Apeldoorn
A Quantum View on Convex Optimization
Joran van Apeldoorn
Paperback · 2020
Modeling Users Interacting with Smart Devices
Seyyed Hadi Hashemi
Modeling Users Interacting with Smart Devices
Seyyed Hadi Hashemi
Paperback · 2021
Collective Decisions with Incomplete Individual Opinions
Collective Decisions with Incomplete Individual Opinions
Paperback · 2021
Approach to the truth
S.D. Zwart
Approach to the truth
S.D. Zwart
Paperback
Common sense time and special relativity
N. Rakic
Common sense time and special relativity
N. Rakic
Paperback
Computability and measure
S.A. Terwijn
Computability and measure
S.A. Terwijn
Paperback
Formalizing organizational ecology
J.P. Bruggeman
Formalizing organizational ecology
J.P. Bruggeman
Paperback
Frames and labels
N. Kurtonisa
Frames and labels
N. Kurtonisa
Paperback
Knowledge games
H.P. van Ditmarsch
Knowledge games
H.P. van Ditmarsch
Paperback
Knowledge, chance, and change
B.P. Kooi
Knowledge, chance, and change
B.P. Kooi
On logic
A.C. Nieuwendijk
On logic
A.C. Nieuwendijk
Paperback
Seeking explanations
A. Aliseda-Llera
Seeking explanations
A. Aliseda-Llera
Paperback
The fiber and the fabric
H.P. Stein
The fiber and the fabric
H.P. Stein
Paperback
Transsentential meditations
P. Dekker
Transsentential meditations
P. Dekker
Paperback