Sciweavers

421 search results - page 8 / 85

» CSL

80

CSL
1994
Springer

108views Automated Reasoning» more CSL 1994»

Canonical Forms for Data-Specifications

15 years 1 months ago

Canonical Forms for Data-Specifications

Download people.cs.kuleuven.be

Frank Piessens, Eric Steegmans

claim paper

Read More »

41

CSL
1990
Springer

72views Automated Reasoning» more CSL 1990»

Algorithmic Proof with Diminishing Resources, Part 1

15 years 1 months ago

Algorithmic Proof with Diminishing Resources, Part 1

Download www.dcs.kcl.ac.uk

Dov M. Gabbay

claim paper

Read More »

59

CSL
2006
Springer

115views Automated Reasoning» more CSL 2006»

Abstracting Allocation

15 years 1 months ago

Abstracting Allocation

Download research.microsoft.com

Nick Benton

claim paper

Read More »

55

CSL
2006
Springer

142views Automated Reasoning» more CSL 2006»

Concurrent Games with Tail Objectives

15 years 1 months ago

Concurrent Games with Tail Objectives

Download www.eecs.berkeley.edu

Krishnendu Chatterjee

claim paper

Read More »

47

CSL
2006
Springer

120views Automated Reasoning» more CSL 2006»

First-Order Queries over One Unary Function

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