On pushout consistency, modularity and interpolation for logical specifications

被引：0
|
作者：
Pont. Univ Catolica, Rio de Janeiro, Brazil [1 ]
机构：
来源：
Inf Process Lett | / 2卷 / 59-66期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
16
引用
收藏
相关论文
共 50 条
  • [31] Definitions of God and Their Logical Consistency
    McCarty, Charles
    EPHEMERIDES THEOLOGICAE LOVANIENSES, 2023, 99 (02): : 353 - 367
  • [32] Logical Consistency as a Research Technique
    Faulkner, Donald
    EDUCATIONAL RESEARCH BULLETIN, 1941, 20 (02): : 42 - +
  • [33] CONSISTENCY OF MODULARITY CLUSTERING ON RANDOM GEOMETRIC GRAPHS
    Davis, Erik
    Sethuraman, Sunder
    ANNALS OF APPLIED PROBABILITY, 2018, 28 (04): : 2003 - 2062
  • [34] Contour interpolation: A case study in Modularity of Mind
    Keane, Brian P.
    COGNITION, 2018, 174 : 1 - 18
  • [35] From Sequential Specifications to Eventual Consistency
    Jagadeesan, Radha
    Ricly, James
    AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II, 2015, 9135 : 247 - 259
  • [36] Verifying timing consistency in formal specifications
    Bartos, T
    Fristacky, N
    IEEE DESIGN & TEST OF COMPUTERS, 1996, 13 (01): : 8 - 15
  • [37] CONSISTENCY OF FORMALIZED SPECIFICATIONS IN MULTILEVEL PROGRAMMING
    PANFILENKO, VP
    CYBERNETICS AND SYSTEMS ANALYSIS, 1993, 29 (02) : 210 - 219
  • [38] MULTIPARAMETER CONSISTENCY AND BAYESIAN INDIFFERENCE SPECIFICATIONS
    NOVICK, MR
    ANNALS OF MATHEMATICAL STATISTICS, 1966, 37 (06): : 1862 - &
  • [39] Consistency analysis of reconfigurable dataflow specifications
    Bhattacharya, B
    Bhattacharyya, SS
    EMBEDDED PROCESSOR DESIGN CHALLENGES: SYSTEMS, ARCHITECTURES, MODELLING, AND SIMULATION - SAMOS, 2002, 2268 : 1 - 17
  • [40] On the complexity of verifying consistency of XML specifications
    Arenas, Marcelo
    Fan, Wenfei
    Libkin, Leonid
    SIAM JOURNAL ON COMPUTING, 2008, 38 (03) : 841 - 880
12345