Special issue: Type theory and term rewriting

被引：0
|
作者：
Kamareddine, F
Klop, JW
机构：
来源：
JOURNAL OF LOGIC AND COMPUTATION | 2000年 / 10卷 / 03期
关键词：
D O I：
10.1093/logcom/10.3.321
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：321 / 322
页数：2
相关论文
共 50 条
  • [21] Special issue on learning theory
    Dasgupta, Sanjoy
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2008, 74 (01) : 1 - 1
  • [22] Special issue: Indigenous theory
    Davison, Robert M.
    [J]. INFORMATION SYSTEMS JOURNAL, 2021, 31 (06) : 767 - 768
  • [23] Special issue on database theory
    Arenas, Marcelo
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2011, 77 (03) : 449 - 449
  • [24] Special issue on mixture theory
    K. Kannan
    Vít Průša
    A.S. Wineman
    [J]. International Journal of Advances in Engineering Sciences and Applied Mathematics, 2017, 9 (1) : 1 - 2
  • [25] Special Issue on Game Theory
    Vasilakos, A. V.
    Kannan, R.
    Hossain, E.
    Kintis, H.
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2010, 40 (03): : 554 - 558
  • [26] Special Issue on Database Theory
    Pablo Barceló
    Marco Calautti
    [J]. Theory of Computing Systems, 2021, 65 : 1 - 2
  • [27] Special issue on order-sorted rewriting - Foreword of the guest editor
    Smolka, G
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1998, 25 (04) : 395 - 395
  • [28] Regular Language Type Inference with Term Rewriting
    Haudebourg, Timothee
    Genet, Thomas
    Jensen, Thomas
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4
  • [29] TERMINATION OF TERM REWRITING - INTERPRETATION AND TYPE ELIMINATION
    ZANTEMA, H
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1994, 17 (01) : 23 - 50
  • [30] A New Look at Generalized Rewriting in Type Theory
    Sozeau, Matthieu
    [J]. JOURNAL OF FORMALIZED REASONING, 2009, 2 (01): : 41 - 62
12345