Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
40
search results - page 1 / 8
»
Unary Primitive Recursive Functions
Sort
relevance
views
votes
recent
update
View
thumb
title
10
click to vote
CORR
2006
Springer
76
views
Education
»
more
CORR 2006
»
Unary Primitive Recursive Functions
13 years 9 months ago
Download
www.ics.uci.edu
Daniel E. Severin
claim paper
Read More »
20
click to vote
MLQ
2006
68
views
more
MLQ 2006
»
On the proof theory of type two functionals based on primitive recursive operations
13 years 9 months ago
Download
www.iam.unibe.ch
This paper is a companion to work of Feferman, J
David Steiner, Thomas Strahm
claim paper
Read More »
33
click to vote
AML
1998
60
views
more
AML 1998
»
A restricted computation model on Scott domains and its partial primitive recursive functionals
13 years 9 months ago
Download
www.tu-ilmenau.de
The paper builds on both a simply typed term system PRω and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion ...
Karl-Heinz Niggl
claim paper
Read More »
24
click to vote
FATES
2004
Springer
79
views
Software Engineering
»
more
FATES 2004
»
Symbolic Test Case Generation for Primitive Recursive Functions
14 years 3 months ago
Download
www.brucker.ch
Achim D. Brucker, Burkhart Wolff
claim paper
Read More »
21
click to vote
JLP
2008
62
views
more
JLP 2008
»
Primitive recursive selection functions for existential assertions over abstract algebras
13 years 9 months ago
Download
www.cas.mcmaster.ca
Thomas Strahm, Jeffery I. Zucker
claim paper
Read More »
« Prev
« First
page 1 / 8
Last »
Next »