Search

Your search keyword '"Game semantics"' showing total 29 results

Search Constraints

Start Over You searched for: Descriptor "Game semantics" Remove constraint Descriptor: "Game semantics" Publisher ieee Remove constraint Publisher: ieee
29 results on '"Game semantics"'

Search Results

1. Verifying higher-order concurrency with data automata

2. Non-Alternating ActorGame: Game semantics for actors without alternation.

3. Intuitionistic proofs without syntax

4. Towards game semantics for nuanced logics

5. Hintikka Style Game Rules for Semi-Fuzzy Quantifiers

6. Dynamic epistemic logic with topological semantics

7. A Computational Logic Approach to Human Spatial Reasoning

8. Nondeterminism in Game Semantics via Sheaves

9. Complete Extensions as Clark's Completion Semantics

10. Abstract Machines for Game Semantics, Revisited

11. A New Semantics for Logic Programs Capturing and Extending the Stable Model Semantics

12. Studying Ideal Semantics via Logic Programming Semantics

13. Game Semantics for Good General References

14. Infinitary Completeness in Ludics

15. Applications of Game Semantics: From Program Analysis to Hardware Synthesis

16. Clipping: A Semantics-Directed Syntactic Approximation

17. Dinatural Terms in System F

18. Augmenting a Regular Expression-Based Temporal Logic with Local Variables

19. Reachability Games and Game Semantics: Comparing Nondeterministic Programs

20. A Neutral Approach to Proof and Refutation in MALL

21. Verifying Security Properties of Cryptoprotocols: A Novel Approach

22. FPGA/ASIC based Cryptographic Object Store System

23. Asynchronous Data Path Models

24. Stratified Bounded Affine Logic for Logarithmic Space

25. Resource modalities in game semantics

26. Full abstraction for nominal general references

27. Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

28. Assumption based multi-valued semantics for extended logic programs

29. A study on parallel semantics of constraint logic programs

Catalog

Books, media, physical & digital resources