Sciweavers

421 search results - page 8 / 85

» CSL

26

CSL
1994
Springer

108views Automated Reasoning» more CSL 1994»

Canonical Forms for Data-Specifications

14 years 16 days ago

Canonical Forms for Data-Specifications

Download people.cs.kuleuven.be

Frank Piessens, Eric Steegmans

claim paper

Read More »

14

CSL
1990
Springer

72views Automated Reasoning» more CSL 1990»

Algorithmic Proof with Diminishing Resources, Part 1

14 years 14 days ago

Algorithmic Proof with Diminishing Resources, Part 1

Download www.dcs.kcl.ac.uk

Dov M. Gabbay

claim paper

Read More »

23

CSL
2006
Springer

115views Automated Reasoning» more CSL 2006»

Abstracting Allocation

14 years 3 days ago

Abstracting Allocation

Download research.microsoft.com

Nick Benton

claim paper

Read More »

26

CSL
2006
Springer

142views Automated Reasoning» more CSL 2006»

Concurrent Games with Tail Objectives

14 years 3 days ago

Concurrent Games with Tail Objectives

Download www.eecs.berkeley.edu

Krishnendu Chatterjee

claim paper

Read More »

18

CSL
2006
Springer

120views Automated Reasoning» more CSL 2006»

First-Order Queries over One Unary Function

14 years 3 days ago

First-Order Queries over One Unary Function

Download www.lif.univ-mrs.fr

Arnaud Durand, Frédéric Olive

claim paper

Read More »

« Prev « First page 8 / 85 Last » Next »