Search Sciweavers | Sciweavers

3706 search results - page 10 / 742

» KtSeqC: System Description

130

click to vote

CADE
2008
Springer

113views Logical Reasoning» more CADE 2008»

MTT: The Maude Termination Tool (System Description)

16 years 6 months ago

Download users.dsic.upv.es

Francisco Durán, Salvador Lucas, José...

claim paper

Read More »

141

Voted

CADE
2002
Springer

142views Logical Reasoning» more CADE 2002»

AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description

16 years 6 months ago

Download eprints.ecs.soton.ac.uk

Bernd Fischer 0002, Johann Schumann, Michael W. Wh...

claim paper

Read More »

118

click to vote

FLOPS
2010
Springer

246views Automated Reasoning» more FLOPS 2010»

Delimited Control in OCaml, Abstractly and Concretely: System Description

16 years 20 days ago

Download okmij.org

Oleg Kiselyov

claim paper

Read More »

144

click to vote

CADE
2005
Springer

102views Logical Reasoning» more CADE 2005»

System Description: Multi A Multi-strategy Proof Planner

15 years 11 months ago

Download www.activemath.org

Andreas Meier, Erica Melis

claim paper

Read More »

140

click to vote

JELIA
2004
Springer

129views Artificial Intelligence» more JELIA 2004»

Abductive Logic Programming with CIFF: System Description

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers