Sciweavers

421 search results - page 7 / 85

» CSL

21

CSL
1997
Springer

88views Automated Reasoning» more CSL 1997»

Resolution and the Weak Pigeonhole Principle

14 years 18 days ago

Resolution and the Weak Pigeonhole Principle

Download euclid.ucsd.edu

Samuel R. Buss, Toniann Pitassi

claim paper

Read More »

15

CSL
1993
Springer

87views Automated Reasoning» more CSL 1993»

Process Algebra with Combinators

14 years 16 days ago

Process Algebra with Combinators

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Inge Bethke, Alban Ponse

claim paper

Read More »

23

CSL
1993
Springer

98views Automated Reasoning» more CSL 1993»

ERRATA to "The Semantics of the C Programming Language"

14 years 16 days ago

ERRATA to "The Semantics of the C Programming Language"

Download research.microsoft.com

Yuri Gurevich, James K. Huggins

claim paper

Read More »

16

CSL
1993
Springer

82views Automated Reasoning» more CSL 1993»

Program Transformation and Proof Transformation

14 years 16 days ago

Program Transformation and Proof Transformation

Download www.hss.cmu.edu

Wilfried Sieg, Stanley S. Wainer

claim paper

Read More »

13

CSL
1994
Springer

89views Automated Reasoning» more CSL 1994»

Logics For Context-Free Languages

14 years 16 days ago

Logics For Context-Free Languages

Download www.thi.uni-hannover.de

Clemens Lautemann, Thomas Schwentick, Denis Th&eac...

claim paper

Read More »

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