Items where Author is "van Eijck, Jan"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 8.

PP-2005-09: van Benthem, Johan and van Eijck, Jan and Kooi, Barteld (2005) Logics of Communication and Change. [Report]

PP-2000-08: Bleeker, Annette and van Eijck, Jan (2000) The Epistemics of Encryption. [Report]

LP-1998-07: van Eijck, Jan (1998) Axiomatising Dynamic Logics for Anaphora. [Report]

LP-1998-08: van Eijck, Jan (1998) Incremental Dynamics. [Report]

CT-1998-06: van Eijck, Jan (1998) Programming with Dynamic Predicate Logic. [Report]

LP-1997-10: van Eijck, Jan (1997) Dynamic Reasoning Without Variables. [Report]

LP-1997-06: van Eijck, Jan (1997) Typed Logic With States. [Report]

LP-1995-08: der Does, Jaap van and van Eijck, Jan (1995) Basic Quantifier Theory. [Report]

This list was generated on Thu Nov 21 00:30:41 2024 CET.
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility