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 条
  • [21] Infinitary rewriting: meta-theory and convergence
    Kahrs, Stefan
    ACTA INFORMATICA, 2007, 44 (02) : 91 - 121
  • [22] Infinitary rewriting: closure operators, equivalences and models
    Kahrs, Stefan
    ACTA INFORMATICA, 2013, 50 (02) : 123 - 156
  • [23] The Semantics of Gringo and Infinitary Propositional Formulas
    Harrison, Amelia
    Lifschitz, Vladimir
    Yang, Fangkai
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 32 - 41
  • [24] SYNTAX AND SEMANTICS
    LENTIN, A
    INTERNATIONAL SOCIAL SCIENCE JOURNAL, 1971, 23 (03) : 453 - 461
  • [25] Boolean valued semantics for infinitary logics
    Suarez, Juan M. Santiago
    Viale, Matteo
    ANNALS OF PURE AND APPLIED LOGIC, 2024, 175 (01)
  • [26] Image similarity: from syntax to weak semantics
    Perkio, Jukka
    Tuominen, Antti
    Vahakangas, Taneli
    Myllymaki, Petri
    MULTIMEDIA TOOLS AND APPLICATIONS, 2012, 57 (01) : 5 - 27
  • [27] Image similarity: from syntax to weak semantics
    Jukka Perkiö
    Antti Tuominen
    Taneli Vähäkangas
    Petri Myllymäki
    Multimedia Tools and Applications, 2012, 57 : 5 - 27
  • [28] THE FRENCH AUSSI AS AN ADJUNCTIVE - FROM SYNTAX TO SEMANTICS
    PERRINNAFFAKH, AM
    FRANCAIS MODERNE, 1996, 64 (02): : 136 - 154
  • [29] From semantics to syntax: Quantum logic of observables
    Vasyukov, VL
    ALTERNATIVE LOGICS: DO SCIENCES NEED THEM?, 2004, : 299 - 321
  • [30] PARTIAL ORDER INFINITARY TERM REWRITING AND BOHM TREES
    Bahr, Patrick
    PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10), 2010, 6 : 67 - 83
12345