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

kozima temporal-logic [12 articles]

Recent papers added to kozima library classified by the tag temporal-logic. You can also see everyone's temporal-logic.
  • Logical modalities and multi-stage programming
    (1999)
    by Z Benaissa, E Moggi, W Taha, T Sheard
    posted to category lambda-calculi modal-logic temporal-logic by kozima on 2008-05-21 07:03:04 as **
  • Proof-theoretical investigation of temporal logic with time gaps
    Lithuanian Mathematical Journal, Vol. 40, No. 3. (10 July 2000), pp. 197-212.
    by R Alonderis
    posted to temporal-logic by kozima on 2008-04-19 07:41:43 as **
  • Modal and temporal logics
    (1992), pp. 477-563.
    by Colin Stirling
    posted to modal-logic temporal-logic by kozima on 2008-04-05 07:12:45 as read
  • Completeness of a First-order Temporal Logic with Time-Gaps
    Theor. Comp. Sci., Vol. 160 (1996), pp. 241-270.
    by Matthias Baaz, Alexander Leitsch, Richard Zach
    posted to temporal-logic by kozima on 2008-01-30 08:12:23 as **
  • A complete axiomatic characterization of first-order temporal logic of linear time
    Theor. Comput. Sci., Vol. 54, No. 2-3. (1987), pp. 199-214.
    by Andrzej Szalas
    posted to temporal-logic by kozima on 2008-01-30 08:11:47 as **
  • Semantical analysis of constructive PDL
    Publications of the Research Institute for Mathematical Sciences, Vol. 18, No. 2. (1982), pp. 847-858.
    by Hirokazu Nishimura
    posted to temporal-logic by kozima on 2008-01-30 08:10:59 as read
  • On the temporal analysis of fairness
    (1980), pp. 163-173.
    by Dov Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi
    posted to temporal-logic by kozima on 2008-01-01 03:14:28 as read
  • Intuitionistic LTL and a New Characterization of Safety and Liveness
    Computer Science Logic (2004), pp. 295-309.
    by Patrick Maier
    posted to temporal-logic by kozima on 2007-12-15 05:17:10 as read
  • Reasoning with Temporal Logic on Truncated Paths
    Computer Aided Verification (2003), pp. 27-39.
    by Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony Mcisaac, David Van Campenhout
    posted to modal-logic temporal-logic by kozima on 2007-12-15 05:13:04 as **
  • A modal type system for multi-level generating extensions with persistent code
    (2006), pp. 201-212.
    by Yosihiro Yuse, Atsushi Igarashi
    posted to lambda-calculi modal-logic temporal-logic by kozima on 2007-11-30 06:58:28 as read along with 1 person msakai
  • 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
  • Intuitionistic tense and modal logic
    Journal of Symbolic Logic, Vol. 51, No. 1. (March 1986), pp. 166-179.
    by WB Ewald
    posted to modal-logic temporal-logic by kozima on 2007-11-10 13:47:33 as read
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/kozima/tag/temporal-logic

    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.