Search Sciweavers | Sciweavers

1223 search results - page 16 / 245

» A Logic for Reasoning about Evidence

149

click to vote

CSL
2007
Springer

145views Automated Reasoning» more CSL 2007»

On the Complexity of Reasoning About Dynamic Policies

16 years 9 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 »

269

click to vote

POPL
2009
ACM

113views Programming Languages» more POPL 2009»

Classical BI: a logic for reasoning about dualising resources

16 years 6 months ago

Download www.doc.ic.ac.uk

James Brotherston, Cristiano Calcagno

claim paper

Read More »

131

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 22 days ago

Download www.memics.cz

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

claim paper

Read More »

312

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 20 days ago

Download eprint.iacr.org

Yu Zhang

claim paper

Read More »

141

click to vote

HYBRID
2007
Springer

101views Control Systems» more HYBRID 2007»

Differential Logic for Reasoning About Hybrid Systems

16 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers