Search Sciweavers | Sciweavers

1223 search results - page 16 / 245

» A Logic for Reasoning about Evidence

155

click to vote

CSL
2007
Springer

145views Automated Reasoning» more CSL 2007»

On the Complexity of Reasoning About Dynamic Policies

16 years 24 days ago

Download www.informatik.uni-bremen.de

We study the complexity of satisﬁability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...

Stefan Göller

claim paper

Read More »

283

click to vote

POPL
2009
ACM

113views Programming Languages» more POPL 2009»

Classical BI: a logic for reasoning about dualising resources

16 years 7 months ago

Download www.doc.ic.ac.uk

James Brotherston, Cristiano Calcagno

claim paper

Read More »

147

click to vote

CONCUR
2009
Springer

187views Distributed And Parallel Com...» more CONCUR 2009»

A Logic-Based Framework for Reasoning about Composite Data Structures

16 years 1 months ago

Download www.memics.cz

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...

claim paper

Read More »

321

click to vote

TLCA
2009
Springer

266views Theoretical Computer Science» more TLCA 2009»

The Computational SLR: A Logic for Reasoning about Computational Indistinguishability

16 years 1 months ago

Download eprint.iacr.org

Yu Zhang

claim paper

Read More »

150

click to vote

HYBRID
2007
Springer

101views Control Systems» more HYBRID 2007»

Differential Logic for Reasoning About Hybrid Systems

16 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers