primitive recursive functions

UMC
2000

208views Applied Computing» more UMC 2000»

Upper and Lower Bounds on Continuous-Time Computation

13 years 8 months ago

Abstract. We consider various extensions and modifications of Shannon's General Purpose Analog Computer, which is a model of computation by differential equations in continuou...

Manuel Lameiras Campagnolo, Cristopher Moore

claim paper

Read More »

click to vote

TPHOL
1999
IEEE

122views Automated Reasoning» more TPHOL 1999»

Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering

13 years 8 months ago

Download www4.in.tum.de

Abstract. Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and mo...

Stefan Berghofer, Markus Wenzel

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers