( en | de | ru )

 

Disambiguation of "van, Jan Eijck"

Author of the publication

copydeleteadd this publication to your clipboard
The Haskell Road to Logic, Maths and Programming

, and . College Publications, (May 2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jan van Neerven

Jan van Weeren

Jan van Üüm

Jan ˜vanœ Calker

Jan Van Goethem

 

Other publications of authors with the same name

Belief as Willingness to Bet., and . CoRR, (2014)Dynamic Interpretation and Hoare Deduction., and . J. Log. Lang. Inf., 1 (1): 1-44 (1992)Reference Resolution in Context.. CLIN, volume 45 of Language and Computers - Studies in Practical Linguistics, page 89-103. Rodopi, (2001)Logical Forms, and . The Core Language Engine, MIT Press, Cambridge, Massachusetts, (1992)Incremental Dynamics.. J. Log. Lang. Inf., 10 (3): 319-351 (2001)Tableau Reasoning and Programming with Dynamic First Order Logic., , and . Logic Journal of the IGPL, 9 (3): 411-445 (2001)Update, Probability, Knowledge and Belief., and . Advances in Modal Logic, page 551-570. College Publications, (2016)Elements of Epistemic Crypto Logic., and . AAMAS, page 1795-1796. ACM, (2015)To Do Something Else., and . DEON, page 109-122. College Publications, (2016)Common knowledge in update logics., , and . TARK, page 253-261. National University of Singapore, (2005)