Search Sciweavers | Sciweavers

421 search results - page 16 / 85

» CSL

100

click to vote

CSL
2007
Springer

93views Automated Reasoning» more CSL 2007»

Building Decision Procedures in the Calculus of Inductive Constructions

15 years 9 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

15 years 8 months ago

Download www.avispa-project.org

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

claim paper

Read More »

106

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

15 years 7 months 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

15 years 6 months 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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers