Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

kozima Davies [3 articles]

Recent papers posted to kozima library by the author Davies. You can also see Davies everyone.
  • A judgmental reconstruction of modal logic
    Mathematical Structures in Computer Science, Vol. 11, No. 4. (2001), pp. 511-540.
    by Frank Pfenning, Rowan Davies
    posted to modal-logic by kozima on 2007-11-11 04:50:33 as read
  • A Temporal-Logic Approach to Binding-Time Analysis
    (1996), pp. 184-195.
    by Rowan Davies
    posted to lambda-calculi modal-logic temporal-logic by kozima on 2007-11-11 04:28:45 as read
  • A Modal Analysis of Staged Computation
    (1996), pp. 258-270.
    by Rowan Davies, Frank Pfenning
    posted to lambda-calculi modal-logic by kozima on 2007-11-11 04:27:59 as read
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/kozima/author/Davies

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.