Order-sorted universes of structured objects

被引：0
|
作者：
Asian Inst of Technology, Bangkok, Thailand [1 ]
机构：
来源：
IEICE Trans Inf Syst | / 2卷 / 143-149期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Order-sorted universes of structured objects
    Wuwongse, V
    Nantajeewarawat, E
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1996, E79D (02) : 143 - 149
  • [2] ORDER-SORTED UNIFICATION
    MESEGUER, J
    GOGUEN, JA
    SMOLKA, G
    JOURNAL OF SYMBOLIC COMPUTATION, 1989, 8 (04) : 383 - 413
  • [3] Order-Sorted Generalization
    Alpuente, Maria
    Escobar, Santiago
    Meseguer, Jose
    Ojeda, Pedro
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 246 : 27 - 38
  • [4] Order-Sorted Parameterization and Induction
    Meseguer, Jose
    SEMANTICS AND ALGEBRAIC SPECIFICATION: ESSAYS DEDICATED TO PETER D. MOSSES ON THE OCCASION OF HIS 60TH BIRTHDAY, 2009, 5700 : 43 - 80
  • [5] Order-sorted term rewriting
    Dick, A.J.J.
    Watson, P.
    Computer Journal, 1991, 34 (01): : 16 - 19
  • [6] SEMANTICS OF ORDER-SORTED SPECIFICATIONS
    WALDMANN, U
    THEORETICAL COMPUTER SCIENCE, 1992, 94 (01) : 1 - 35
  • [7] ORDER-SORTED TERM REWRITING
    DICK, AJJ
    WATSON, P
    COMPUTER JOURNAL, 1991, 34 (01): : 16 - 19
  • [8] TERMINATION OF ORDER-SORTED REWRITING
    GNAEDIG, I
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 632 : 37 - 52
  • [9] Order-sorted inductive types
    Barthe, G
    INFORMATION AND COMPUTATION, 1999, 149 (01) : 42 - 76
  • [10] Colimits of order-sorted specifications
    Mossakowski, T
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1998, 1376 : 316 - 332
12345