Sciweavers

27 search results - page 1 / 6

» csl 2005

22

CSL
2005
Springer

86views Automated Reasoning» more CSL 2005»

XML Navigation and Tarski's Relation Algebras

14 years 1 months ago

XML Navigation and Tarski's Relation Algebras

Download staff.science.uva.nl

Maarten Marx

claim paper

Read More »

17

CSL
2005
Springer

80views Automated Reasoning» more CSL 2005»

Towards a Characterization of Order-Invariant Queries over Tame Structures

14 years 1 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 »

20

CSL
2005
Springer

89views Automated Reasoning» more CSL 2005»

On the Complexity of Hybrid Logics with Binders

14 years 1 months ago

On the Complexity of Hybrid Logics with Binders

Download www.illc.uva.nl

Balder ten Cate, Massimo Franceschet

claim paper

Read More »

18

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

14 years 1 months ago

Bounded Model Checking of Pointer Programs

Download www.ii.uni.wroc.pl

Witold Charatonik, Lilia Georgieva, Patrick Maier

claim paper

Read More »

19

CSL
2005
Springer

116views Automated Reasoning» more CSL 2005»

On Bunched Polymorphism

14 years 1 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 »