Search Sciweavers | Sciweavers

421 search results - page 16 / 85

» CSL

click to vote

CSL
2007
Springer

93views Automated Reasoning» more CSL 2007»

Building Decision Procedures in the Calculus of Inductive Constructions

14 years 2 months ago

Download www.lix.polytechnique.fr

Frédéric Blanqui, Jean-Pierre Jouann...

claim paper

Read More »

click to vote

CSL
2003
Springer

87views Automated Reasoning» more CSL 2003»

Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions

14 years 1 months ago

Download www.avispa-project.org

Yannick Chevalier, Ralf Küsters, Michaël...

claim paper

Read More »

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

14 years 29 days ago

Download www.cse.ohio-state.edu

Peter W. O'Hearn, John C. Reynolds, Hongseok Yang

claim paper

Read More »

click to vote

CSL
1995
Springer

105views Automated Reasoning» more CSL 1995»

An Evolving Algebra Abstract Machine

14 years 15 hour ago

Download www.eecs.umich.edu

Giuseppe Del Castillo, Igor Durdanovic, Uwe Gl&aum...

claim paper

Read More »

click to vote

CSL
2010
Springer

118views Automated Reasoning» more CSL 2010»

Efficient Enumeration for Conjunctive Queries over X-underbar Structures

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers