Search Sciweavers | Sciweavers

4573 search results - page 32 / 915

» Automated Reasoning

Voted

CSL
1993
Springer

87views Automated Reasoning» more CSL 1993»

Process Algebra with Combinators

15 years 8 months ago

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Inge Bethke, Alban Ponse

claim paper

Read More »

117

Voted

CSL
1993
Springer

98views Automated Reasoning» more CSL 1993»

ERRATA to "The Semantics of the C Programming Language"

15 years 8 months ago

Download research.microsoft.com

Yuri Gurevich, James K. Huggins

claim paper

Read More »

click to vote

CSL
1993
Springer

82views Automated Reasoning» more CSL 1993»

Program Transformation and Proof Transformation

15 years 8 months ago

Download www.hss.cmu.edu

Wilfried Sieg, Stanley S. Wainer

claim paper

Read More »

click to vote

CSL
1994
Springer

89views Automated Reasoning» more CSL 1994»

Logics For Context-Free Languages

15 years 8 months ago

Download www.thi.uni-hannover.de

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

claim paper

Read More »

127

click to vote

CSL
1994
Springer

108views Automated Reasoning» more CSL 1994»

Canonical Forms for Data-Specifications

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers