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 条

[1] Foreword: special issue on term and graph rewriting
Echahed, Rachid
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2018, 28 (08) : 1287 - 1289
[2] Special Issue on Security and Rewriting Foreword
Hubert Comon-Lundh
Catherine Meadows
[J]. Journal of Automated Reasoning, 2012, 48 : 133 - 134
[3] Special Issue on Security and Rewriting Foreword
Comon-Lundh, Hubert
Meadows, Catherine
[J]. JOURNAL OF AUTOMATED REASONING, 2012, 48 (02) : 133 - 134
[4] Term rewriting in a logic of special relations
Schorlemmer, WM
[J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 178 - 195
[5] Foreword to the special issue on security and rewriting techniques Preface
Kremer, Steve
Narendran, Paliath
[J]. INFORMATION AND COMPUTATION, 2014, 238 : 1 - 1
[6] A PVS Theory for Term Rewriting Systems
Galdino, Andre L.
Ayala-Rincon, Mauricio
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 247 : 67 - 83
[7] SPECIAL ISSUE ON THEORY
WEIS, JG
[J]. CRIMINOLOGY, 1987, 25 (04) : 783 - 784
[8] Preface: Special Issue on Homotopy Type Theory and Univalent Foundations
Lumsdaine, Peter Lefanu
Tabareau, Nicolas
[J]. JOURNAL OF AUTOMATED REASONING, 2019, 63 (02) : 157 - 158
[9] Preface: Special Issue on Homotopy Type Theory and Univalent Foundations
Peter Lefanu Lumsdaine
Nicolas Tabareau
[J]. Journal of Automated Reasoning, 2019, 63 : 157 - 158
[10] SPECIAL ISSUE WRITING AND REWRITING: THE DYNAMICS OF COMPETING VOICES Introduction
Lee, Chak Han Laura
[J]. MESTER, 2008, 37 : V - V

← 1 2 3 4 5 →