2432 search results - page 32 / 487 » Cryptographic logical relations |
272
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
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 (...
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
140
Voted
TBILLC
2007
Springer
15 years 10 months ago
2007
Springer
115
Voted
GRC
2005
IEEE
15 years 9 months ago
2005
IEEE
103
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer