The following pages link to Krzysztof R. Apt (Q439941):
Displaying 50 items.
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- Paradoxes in social networks with multiple products (Q516241) (← links)
- (Q795498) (redirect page) (← links)
- Fair termination revisited - with delay (Q795499) (← links)
- Verification of sequential and concurrent programs (Q837527) (← links)
- Comparing the notions of optimality in CP-nets, strategic games and soft constraints (Q1029586) (← links)
- Proof rules and transformations dealing with fairness (Q1050109) (← links)
- Ten years of Hoare's logic: A survey. II: Nondeterminism (Q1056534) (← links)
- (Q1094867) (redirect page) (← links)
- Two normal form theorems for CSP programs (Q1094869) (← links)
- Appraising fairness in languages for distributed programming (Q1112589) (← links)
- Recursive assertions and parallel programs (Q1140981) (← links)
- An analysis of loop checking mechanisms for logic programs (Q1177923) (← links)
- Inductive definitions, models of comprehension and invariant definability (Q1247418) (← links)
- Recursive assertions are not enough - or are they? (Q1252031) (← links)
- Reasoning about termination of pure Prolog programs (Q1308986) (← links)
- A declarative approach for first-order built-in's of Prolog (Q1328181) (← links)
- Reasoning about prolog programs: From modes through types to assertions (Q1346766) (← links)
- Edsger Wybe Dijkstra (1930--2002): A portrait of a genius (Q1402464) (← links)
- Coordination games on graphs (Q1677255) (← links)
- The STO-problem is NP-hard (Q1892125) (← links)
- The essence of constraint propagation (Q1960525) (← links)
- Program verification: to err is human (Q2026776) (← links)
- Self-stabilization through the lens of game theory (Q2028746) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- The role of monotonicity in the epistemic analysis of strategic games (Q2344949) (← links)
- A classification of weakly acyclic games (Q2353596) (← links)
- An analysis of arithmetic constraints on integer intervals (Q2460254) (← links)
- (Q2767044) (← links)
- (Q2782477) (← links)
- On Decidability of a Logic of Gossips (Q2835859) (← links)
- Two Three Pages Papers (Q2897962) (← links)
- Coordination Games on Graphs (Extended Abstract) (Q2937007) (← links)
- Common Knowledge in Email Exchanges (Q2946711) (← links)
- Diffusion in Social Networks with Competing Products (Q3095275) (← links)
- A closer look at declarative interpretations (Q3129509) (← links)
- (Q3152951) (← links)
- (Q3172527) (← links)
- (Q3214922) (← links)
- (Q3316557) (← links)
- Modeling the distributed termination convention of CSP (Q3321434) (← links)
- (Q3347264) (← links)
- (Q3347267) (← links)
- (Q3348419) (← links)
- The Many Faces of Rationalizability (Q3394946) (← links)
- A GENERIC APPROACH TO COALITION FORMATION (Q3402038) (← links)
- (Q3477998) (← links)
- (Q3559280) (← links)
- Principles of Constraint Programming (Q3559281) (← links)
- Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets (Q3582742) (← links)
