Search Sciweavers | Sciweavers

2432 search results - page 32 / 487

» Cryptographic logical relations

186

click to vote

ICLP
2009
Springer

164views Automated Reasoning» more ICLP 2009»

Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs

15 years 10 months ago

Download www.cs.engr.uky.edu

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

claim paper

Read More »

click to vote

TASE
2008
IEEE

96views Software Engineering» more TASE 2008»

A Relational Model for Confined Separation Logic

15 years 4 months ago

Download homepages.cwi.nl

Shuling Wang, Luís Soares Barbosa, Jos&eacu...

claim paper

Read More »

click to vote

TBILLC
2007
Springer

119views Natural Language Processing» more TBILLC 2007»

Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach

15 years 4 months ago

Download www.illc.uva.nl

Alexei Y. Muravitsky

claim paper

Read More »

click to vote

GRC
2005
IEEE

94views Applied Computing» more GRC 2005»

Reasoning about relational granulation in modal logics

15 years 3 months ago

Download aao.sinica.edu.tw

Churn-Jung Liau, T. Y. Lin

claim paper

Read More »

click to vote

ICCS
2005
Springer

118views Applied Computing» more ICCS 2005»

Arbitrary Relations in Formal Concept Analysis and Logical Information Systems

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers