PROOF RULES FOR GOTOS

被引：20
|
作者：
ARBIB, MA [1 ]
ALAGIC, S [1 ]
机构：
[1] UNIV SARAJEVO,FAC ELECTROTECH,DEPT INFORMAT,YU-71000 SARAJEVO,YUGOSLAVIA
来源：
ACTA INFORMATICA | 1979年 / 11卷 / 02期
关键词：
D O I：
10.1007/BF00264021
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：139 / 148
页数：10
相关论文
共 50 条
  • [31] Strategy-proof fuzzy aggregation rules
    Perote-Pena, Juan
    Piggins, Ashley
    [J]. JOURNAL OF MATHEMATICAL ECONOMICS, 2007, 43 (05) : 564 - 580
  • [32] PROOF RULES FOR FAULT TOLERANT DISTRIBUTED PROGRAMS
    JOSEPH, M
    MOITRA, A
    SOUNDARARAJAN, N
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (01) : 43 - 67
  • [33] Are serial Condorcet rules strategy-proof?
    Donald E. Campbell
    Jerry S. Kelly
    [J]. Review of Economic Design, 2003, 7 (4) : 385 - 410
  • [34] SOLVING PROOF PROBLEMS WITH EQUIVALENT TRANSFORMATION RULES
    Akama, Kiyoshi
    Nantajeewarawat, Ekawit
    [J]. INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2022, 18 (01): : 331 - 344
  • [35] Pure extensions, proof rules, and hybrid axiomatics
    Blackburn P.
    Ten Cate B.
    [J]. Studia Logica, 2006, 84 (2) : 277 - 322
  • [36] An abductive proof procedure handling active rules
    Mancarella, P
    Terreni, G
    [J]. AI(ASTERISK)IA 2003: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2003, 2829 : 105 - 117
  • [37] A structural proof of the soundness of rely/guarantee rules
    Coleman, Joey W.
    Jones, Cliff B.
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2007, 17 (04) : 807 - 841
  • [38] From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
    Negri, Sara
    von Plato, Jan
    [J]. PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2019, 377 (2140):
  • [39] Bribe-proof rules in the division problem
    Masso, Jordi
    Neme, Alejandro
    [J]. GAMES AND ECONOMIC BEHAVIOR, 2007, 61 (02) : 331 - 343
  • [40] A proof of selection rules for critical dense polymers
    Morin-Duchesne, Alexi
    [J]. JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL, 2011, 44 (49)
12345