Sciweavers

27 search results - page 1 / 6

» csl 2005

15

CSL
2005
Springer

86views Automated Reasoning» more CSL 2005»

XML Navigation and Tarski's Relation Algebras

13 years 11 months ago

XML Navigation and Tarski's Relation Algebras

Download staff.science.uva.nl

Maarten Marx

claim paper

Read More »

10

CSL
2005
Springer

80views Automated Reasoning» more CSL 2005»

Towards a Characterization of Order-Invariant Queries over Tame Structures

13 years 11 months ago

Towards a Characterization of Order-Invariant Queries over Tame Structures

Download www.lsv.ens-cachan.fr

Michael Benedikt, Luc Segoufin

claim paper

Read More »

14

CSL
2005
Springer

89views Automated Reasoning» more CSL 2005»

On the Complexity of Hybrid Logics with Binders

13 years 11 months ago

On the Complexity of Hybrid Logics with Binders

Download www.illc.uva.nl

Balder ten Cate, Massimo Franceschet

claim paper

Read More »

12

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

13 years 11 months ago

Bounded Model Checking of Pointer Programs

Download www.ii.uni.wroc.pl

Witold Charatonik, Lilia Georgieva, Patrick Maier

claim paper

Read More »

12

CSL
2005
Springer

116views Automated Reasoning» more CSL 2005»

On Bunched Polymorphism

13 years 11 months ago

On Bunched Polymorphism

Download www.cs.bath.ac.uk

Matthew Collinson, David J. Pym, Edmund Robinson

claim paper

Read More »

« Prev « First page 1 / 6 Last » Next »