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 条
  • [41] Proof rules for model checking systems with data
    McMillan, KL
    [J]. FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1998, 1530 : 270 - 270
  • [42] Synthesizing Software Verifiers from Proof Rules
    Grebenshchikov, Sergey
    Lopes, Nuno P.
    Popeea, Corneliu
    Rybalchenko, Andrey
    [J]. ACM SIGPLAN NOTICES, 2012, 47 (06) : 405 - 416
  • [43] Strategy-proof rules for two public goods: double median rules
    Heo, Eun Jeong
    [J]. SOCIAL CHOICE AND WELFARE, 2013, 41 (04) : 895 - 922
  • [44] Strategy-proof rules for two public goods: double median rules
    Eun Jeong Heo
    [J]. Social Choice and Welfare, 2013, 41 : 895 - 922
  • [45] EQUIVALENCE OF THE GRIES AND MARTIN PROOF RULES FOR PROCEDURE CALLS
    BIJLSMA, A
    WILTINK, JG
    MATTHEWS, PA
    [J]. ACTA INFORMATICA, 1986, 23 (04) : 357 - 360
  • [46] Reinforcement learning of simplex pivot rules: a proof of concept
    Suriyanarayana, Varun
    Tavaslioglu, Onur
    Patel, Ankit B.
    Schaefer, Andrew J.
    [J]. OPTIMIZATION LETTERS, 2022, 16 (08) : 2513 - 2525
  • [47] Reassignment-proof rules for land rental problems
    Alfredo Valencia-Toledo
    Juan Vidal-Puga
    [J]. International Journal of Game Theory, 2020, 49 : 173 - 193
  • [48] A maximal domain for the existence of strategy-proof rules
    Ching, S
    Serizawa, S
    [J]. JOURNAL OF ECONOMIC THEORY, 1998, 78 (01) : 157 - 166
  • [49] A unified characterization of the randomized strategy-proof rules
    Roy, Souvik
    Sadhukhan, Soumyarup
    [J]. JOURNAL OF ECONOMIC THEORY, 2021, 197
  • [50] On unifying assumption commitment style proof rules for concurrency
    Xu, QW
    Cau, A
    Collette, P
    [J]. CONCUR '94: CONCURRENCY THEORY, 1994, 836 : 267 - 282
12345