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

Group: complogic - with tag intuitionism [3 articles]

Недавние статьи, отправленные по почте членами complogic группы with tag intuitionism
  • A Fragment of Intuitionistic Dynamic Logic
    Fundam. Inf., Vol. 46, No. 3. (August 2001), pp. 187-197.
    by Sergio A Celani
    posted to dynamic_logic intuitionism modal-logic by mfrydr to the group complogic on 2007-11-16 15:52:12 as **
  • Constructive Logics Part I: A Tutorial on Proof Systems and Typed gamma-Calculi
    Theoretical Computer Science, Vol. 110, No. 2. (1993), pp. 249-339.
    by Jean H Gallier
    posted to tutorial intuitionism by mfrydr to the group complogic on 2007-05-09 18:28:21 as ** along with 4 people and 1 group rgrig scavadini Scis0000002 ds SRG_at_UCD
  • A judgemental analysis of linear logic
    - (2003)
    by Bor, Kaustuv Chaudhuri, Frank Pfenning
    posted to linear-logic intuitionism by mfrydr to the group complogic on 2007-05-08 16:51:02 as **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/group/2532/tag/intuitionism

    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.