新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

scis0000001 Straßburger [4 articles]

最近 scis0000001 さんのライブラリに追加された論文の中から 著者が Straßburger. であるものをリストアップしています. You can also see everyone's Straßburger.
  • What is a Logic, and What is a Proof?
    by Lutz Straßburger
    posted to logic proof by scis0000001 on 2006-12-16 20:13:51 as **
  • Linear Logic and Noncommutativity in the Calculus of Structures
    by Lutz Straßburger
    posted to calculus linear-logic noncommutative structure by scis0000001 on 2006-10-12 13:28:05 as **
  • On the Axiomatisation of Boolean Categories with and without Medial
    by Lutz Straßburger
    posted to categorical-logic by scis0000001 on 2006-09-29 09:17:35 as **
  • From Proof Nets to the Free *-Autonomous Category
    by François Lamarche, Lutz Straßburger
    posted to autonomous-category chu-space network proof by scis0000001 on 2006-09-29 09:13:11 as **
  • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/scis0000001/author/Straßburger

    RIS BibTeX