Infinitary rewriting: From syntax to semantics

被引：0
|
作者：
Kennaway, R [1 ]
Severi, P
Sleep, R
de Vries, FJ
机构：
[1] Univ E Anglia, Sch Comp Sci, Norwich NR4 7TJ, Norfolk, England
[2] Univ Leicester, Dept Comp Sci, Leicester LE1 7RH, Leics, England
来源：
PROCESSES, TERMS AND CYCLES: STEPS ON THE ROAD TO INFINITY: ESSAYS DEDICATED TO JAN WILLEM KLOP ON THE OCCASION OF HIS 60TH BIRTHDAY | 2005年 / 3838卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：148 / 172
页数：25
相关论文
共 50 条
  • [1] ETRE AND AVOIR - IS IT FROM SEMANTICS TO SYNTAX OR FROM SYNTAX TO SEMANTICS
    SCHMIDELY, J
    REVUE DES LANGUES ROMANES, 1991, 95 (01) : 147 - 157
  • [2] From Infinitary Term Rewriting to Cyclic Term Graph Rewriting and back
    Bahr, Patrick
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (48): : 2 - 2
  • [3] COINDUCTIVE FOUNDATIONS OF INFINITARY REWRITING AND INFINITARY EQUATIONAL LOGIC
    Endrullis, Jorg
    Hansen, Helle Hvid
    Hendriks, Dimitri
    Polonsky, Andrew
    Silva, Alexandra
    LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (01)
  • [4] Modularity of Convergence in Infinitary Rewriting
    Kahrs, Stefan
    REWRITING TECHNIQUES AND APPLICATIONS, 2009, 5595 : 179 - 193
  • [5] From syntax to semantics
    Rappaport, A
    NATURE BIOTECHNOLOGY, 1997, 15 (12) : 1228 - 1228
  • [6] From the syntax to the semantics
    Aldea, Maria
    REVUE ROUMAINE DE LINGUISTIQUE-ROMANIAN REVIEW OF LINGUISTICS, 2014, 59 (04): : 401 - 403
  • [7] From syntax to semantics
    Alain Rappaport
    Nature Biotechnology, 1997, 15 : 1228 - 1228
  • [8] INFINITARY REWRITING: FOUNDATIONS REVISITED
    Kahrs, Stefan
    PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10), 2010, 6 : 161 - 175
  • [9] Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics Extended Abstract
    Dougherty, Dan
    Lescanne, Pierre
    Liquori, Luigi
    Lang, Frederic
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 127 (05) : 57 - 82
  • [10] On modularity in infinitary term rewriting
    Simonsen, Jakob Grue
    INFORMATION AND COMPUTATION, 2006, 204 (06) : 957 - 988
12345