1
Relational and Algebraic Methods in Computer Science [E-Book] : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings /
Table of Contents: “... Conscriptions Algebraically -- Abstract Dynamic Frames -- Automated Verification of Relational While-Programs -- On Faults and Faulty Programs -- Parameterised Bisimulations: Some Applications -- A Point-Free Relation-Algebraic Approach to General Topology -- A...”

Full text 
Favorites
Saved in:
2
Logic, Rationality, and Interaction [E-Book] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
Table of Contents: “...Full Papers -- Boolean Games with Epistemic Goals -- Minimal Preference Change -- The Topology of Belief, Belief Revision and Defeasible Knowledge -- Plan Recognition, Indefinites, and the Semantics-Pragmatics Boundary -- A Semantic Model...”

Full text 
Favorites
Saved in:
3
Logic and Its Applications [E-Book] : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings /
Table of Contents: “... Proofs.-Noninterference for Intuitionist Necessity -- Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal -- Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System -- Public Announcements for Non-omniscient Agents -- Subset...”

Full text 
Favorites
Saved in:

Narrow Search Results