Search Sciweavers | Sciweavers

The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...

Björn Pelzer, Christoph Wernhard

claim paper

Read More »

184

click to vote

POPL
2003
ACM

109views Programming Languages» more POPL 2003»

Coercive subtyping for the calculus of constructions

15 years 12 months ago

Download www.church-project.org

Gang Chen

claim paper

Read More »

164

click to vote

POPL
2003
ACM

91views Programming Languages» more POPL 2003»

The m-calculus: a higher-order distributed process calculus

15 years 12 months ago

Download www.sics.se

Alan Schmitt, Jean-Bernard Stefani

claim paper

Read More »

164

click to vote

POPL
2001
ACM

104views Programming Languages» more POPL 2001»

Stratified operational semantics for safety and correctness of the region calculus

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers