HOW TO FIND A COIN: PROPOSITIONAL PROGRAM LOGICS MADE EASY

Current Trends in Theoretical Computer Science ◽

10.1142/9789812562494_0047 ◽

2004 ◽

pp. 181-213 ◽

Author(s):

NIKOLAY V. SHILOV ◽

KWANG YI

Download Full-text