TOWARDS A FORMAL THEORY OF DESCRIPTION

被引：1
|
作者：
TCHON, K
WOJCIECHOWSKA, J
机构：
来源：
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS | 1981年 / 6卷 / 04期
关键词：
D O I：
10.1080/03081078108934799
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：217 / 224
页数：8
相关论文
共 50 条
  • [1] Towards a Formal Representation for Description Rules
    Stouffs, Rudi
    [J]. FUSION: DATA INTEGRATION AT ITS BEST, VOL 2, 2014, : 347 - 356
  • [2] TOWARDS A FORMAL DESCRIPTION OF INTRACELLULAR BIOCHEMICAL ORGANIZATION
    HOLCOMBE, WML
    [J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1990, 20 (4-6) : 107 - 115
  • [3] Towards Formal Foundations for Game Theory
    Parsert, Julian
    Kaliszyk, Cezary
    [J]. INTERACTIVE THEOREM PROVING, ITP 2018, 2018, 10895 : 495 - 502
  • [4] Towards a Formal Theory of Graded Monads
    Fujii, Soichiro
    Katsumata, Shin-ya
    Mellies, Paul-Andre
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2016), 2016, 9634 : 513 - 530
  • [5] Towards formal theory of soft computing
    V. Novák
    [J]. Soft Computing, 1998, 2 (1) : 4 - 6
  • [6] Formal description of autopoiesis based on the theory of category
    Nomura, Tatsuya
    [J]. ADVANCES IN ARTIFICIAL LIFE, 2001, 2159 : 700 - 703
  • [7] TOWARDS AN UPDATED REASONING FORMAL THEORY
    Lopez-Astorga, Miguel
    [J]. AUFKLARUNG-REVISTA DE FILOSOFIA, 2016, 3 (01): : 11 - 32
  • [8] INTRODUCTION + TOWARDS A THEORY OF DESCRIPTION
    KITTAY, J
    [J]. YALE FRENCH STUDIES, 1981, (61) : R1 - R5
  • [9] Towards Formal Description of Standards for Automotive Operating Systems
    Yatsu, Hirokazu
    Ando, Takahiro
    Kong, Weiqiang
    Hisazumi, Kenji
    Fukuda, Akira
    Aoki, Toshiaki
    Futatsugi, Kokichi
    [J]. IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, : 13 - +
  • [10] Towards a formal description and automatic execution of production processes
    Vjestica, Marko
    Dimitrieski, Vladimir
    Pisaric, Milan
    Kordic, Slavica
    Ristic, Sonja
    Lukovic, Ivan
    [J]. 2019 IEEE 15TH INTERNATIONAL SCIENTIFIC CONFERENCE ON INFORMATICS (INFORMATICS 2019), 2019, : 463 - 468
12345