CSL 1994 | Sciweavers

43

click to vote

CSL
1994
Springer

108views Automated Reasoning» more CSL 1994»

Canonical Forms for Data-Specifications

14 years 7 months ago

Download people.cs.kuleuven.be

Frank Piessens, Eric Steegmans

claim paper

Read More »

37

click to vote

CSL
1994
Springer

96views Automated Reasoning» more CSL 1994»

Resolution Games and Non-Liftable Resolution Orderings

14 years 7 months ago

Download www.ii.uni.wroc.pl

We prove the completeness of the combination of ordered resolution and factoring for a large class of non-liftable orderings, without the need for any additional rules like satura...

Hans de Nivelle

claim paper

Read More »

33

click to vote

CSL
1994
Springer

89views Automated Reasoning» more CSL 1994»

Logics For Context-Free Languages

14 years 7 months ago

Download www.thi.uni-hannover.de

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

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers