COMPLETENESS THEOREMS IN THEORIES ON GRAPHS

被引：0
|
作者：
DONNADIEU, MR [1 ]
RAMBAUD, C [1 ]
机构：
[1] UER MARSEILLE LUMINY,DEPT MATH INFORMAT,F-13288 MARSEILLE 2,FRANCE
来源：
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A | 1977年 / 284卷 / 06期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：355 / 358
页数：4
相关论文
共 50 条
  • [21] CODENSITY THEOREMS AS CATEGORICAL EXPRESSIONS OF COMPLETENESS
    MAKKAI, M
    JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 300 - 300
  • [22] Completeness Theorems for Systems of Differential Equations
    M. M. Malamud
    L. L. Oridoroga
    Functional Analysis and Its Applications, 2000, 34 : 308 - 310
  • [23] Completeness Theorems for Adaptively Secure Broadcast
    Cohen, Ran
    Garay, Juan
    Zikas, Vassilis
    ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT I, 2023, 14081 : 3 - 38
  • [24] Completeness theorems for reactive modal logics
    Dov Gabbay
    Annals of Mathematics and Artificial Intelligence, 2012, 66 : 81 - 129
  • [25] FIRST-ORDER COMPLETENESS THEOREMS
    WAVRIK, JJ
    MATHEMATISCHE ANNALEN, 1973, 206 (03) : 249 - 264
  • [26] COMPLETENESS THEOREMS FOR SETS OF DIFFERENTIAL OPERATORS
    DAVIS, P
    DUKE MATHEMATICAL JOURNAL, 1953, 20 (03) : 345 - 357
  • [27] Completeness theorems for σ-additive probabilistic semantics
    Ikodinovic, Nebojsa
    Ognjanovic, Zoran
    Perovic, Aleksandar
    Raskovic, Miodrag
    ANNALS OF PURE AND APPLIED LOGIC, 2020, 171 (04)
  • [28] ON SOME COMPLETENESS THEOREMS IN MODAL LOGIC
    MAKINSON, D
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (04): : 379 - &
  • [29] On Star Expressions and Coalgebraic Completeness Theorems
    Schmid, Todd
    Rot, Jurriaan
    Silva, Alexandra
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (351): : 242 - 259
  • [30] Effective completeness theorems for modal logic
    Ganguli, S
    Nerode, A
    ANNALS OF PURE AND APPLIED LOGIC, 2004, 128 (1-3) : 141 - 195
12345