REGULAR RELATIONS AND BICARTESIAN SQUARES

被引：6
|
作者：
BANACH, R
机构：
[1] Computer Science Department, University of Manchester
来源：
THEORETICAL COMPUTER SCIENCE | 1994年 / 129卷 / 01期
关键词：
Bicartesian squares - Data reification - Isomorphism - Regular relations;
D O I：
10.1016/0304-3975(94)90086-8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
It is shown that regular relations, which arise in a number of areas of programming theory, can be characterised in a variety of ways as pullbacks in Jet; and up to isomorphism, as bicartesian squares in Jet.
引用
收藏
页码：187 / 192
页数：6
相关论文
共 50 条
  • [1] BICARTESIAN SQUARES OF NILPOTENT GROUPS
    HILTON, P
    MISLIN, G
    COMMENTARII MATHEMATICI HELVETICI, 1975, 50 (04) : 477 - 491
  • [2] Bicartesian coherence
    Došen K.
    Petrić Z.
    Studia Logica, 2002, 71 (3) : 331 - 353
  • [3] Squares of regular languages
    Lischke, G
    MATHEMATICAL LOGIC QUARTERLY, 2005, 51 (03) : 299 - 304
  • [4] Regular Model Checking with Regular Relations
    Dave, Vrunda
    Dohmen, Taylor
    Krishna, Shankara Narayanan
    Trivedi, Ashutosh
    FUNDAMENTALS OF COMPUTATION THEORY, FCT 2021, 2021, 12867 : 190 - 203
  • [5] On Regular Linear Relations
    T.LVAREZ
    Acta Mathematica Sinica,English Series, 2012, (01) : 183 - 194
  • [6] Regular sequences on squares of monomial ideals
    Fouli, Louiza
    Tai Huy Ha
    Morey, Susan
    SAO PAULO JOURNAL OF MATHEMATICAL SCIENCES, 2023, 17 (01): : 122 - 146
  • [7] Symbolic squares in regular local rings
    Craig Huneke
    Juergen Ribbe
    Mathematische Zeitschrift, 1998, 229 : 31 - 44
  • [8] Symbolic squares in regular local rings
    Huneke, C
    Ribbe, J
    MATHEMATISCHE ZEITSCHRIFT, 1998, 229 (01) : 31 - 44
  • [9] On regular linear relations
    T. Álvarez
    Acta Mathematica Sinica, English Series, 2012, 28 : 183 - 194
  • [10] REGULAR PREFIX RELATIONS
    ANGLUIN, D
    HOOVER, DN
    MATHEMATICAL SYSTEMS THEORY, 1984, 17 (03): : 167 - 191
12345