On the expressive power of light affine logic

被引：0
|
作者：
Dal Lago, Ugo [1 ]
机构：
[1] Dipartimento di Scienze dell'Informazione, Università di Bologna, Mura Anteo Zamboni 7, 40127 Bologna, Italy
来源：
| 2003年 / Springer Verlag卷 / 2841期
关键词：
D O I：
10.1007/978-3-540-45208-9_18
中图分类号：
学科分类号：
摘要：
14
引用
收藏
相关论文
共 50 条
  • [1] On the expressive power of light affine logic
    Dal Lago, U
    THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2003, 2841 : 216 - 227
  • [2] Light affine logic
    Asperti, A
    THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 300 - 308
  • [3] The Expressive Power of Medieval Logic
    Parsons, Terry
    VIVARIUM-AN INTERNATIONAL JOURNAL FOR THE PHILOSOPHY AND INTELLECTUAL LIFE OF THE MIDDLE AGES AND RENAISSANCE, 2013, 51 (1-4): : 511 - 521
  • [4] ON THE EXPRESSIVE POWER OF TEMPORAL LOGIC
    COHEN, J
    PERRIN, D
    PIN, JE
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1993, 46 (03) : 271 - 294
  • [5] On the expressive power of graph logic
    Marcinkowski, Jerzy
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2006, 4207 : 486 - 500
  • [6] On the expressive power of ordered logic
    Buccafurri, F
    Leone, N
    Scarcello, F
    AI COMMUNICATIONS, 1996, 9 (01) : 4 - 13
  • [7] The expressive power of temporal logic of actions
    Estrin, A
    Kaminski, M
    CONCUR '99: CONCURRENCY THEORY, 1999, 1664 : 274 - 287
  • [8] Complexity and expressive power of logic programming
    Dantsin, E
    Eiter, T
    Gottlob, G
    Voronkov, A
    TWELFTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 1997, : 82 - 101
  • [9] THE EXPRESSIVE POWER OF STRATIFIED LOGIC PROGRAMS
    KOLAITIS, PG
    INFORMATION AND COMPUTATION, 1991, 90 (01) : 50 - 66
  • [10] The expressive power of temporal logic of actions
    Estrin, A
    Kaminski, M
    JOURNAL OF LOGIC AND COMPUTATION, 2002, 12 (05) : 839 - 859
12345