Sciweavers

2432 search results - page 32 / 487
» Cryptographic logical relations
Sort
View
272
Voted
ICLP
2009
Springer
16 years 4 months ago
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
Miroslaw Truszczynski
TASE
2008
IEEE
15 years 10 months ago
A Relational Model for Confined Separation Logic
Shuling Wang, Luís Soares Barbosa, Jos&eacu...
115
Voted
GRC
2005
IEEE
15 years 9 months ago
Reasoning about relational granulation in modal logics
Churn-Jung Liau, T. Y. Lin
103
Voted
ICCS
2005
Springer
15 years 9 months ago
Arbitrary Relations in Formal Concept Analysis and Logical Information Systems
Sébastien Ferré, Olivier Ridoux, Ben...