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
23
click to vote
CIE
2006
Springer
80
views
Applied Computing
»
more
CIE 2006
»
Enumeration Reducibility with Polynomial Time Bounds
14 years 1 months ago
Download
www.cs.swan.ac.uk
Charles M. Harris
claim paper
Read More »
19
click to vote
CIE
2006
Springer
72
views
Applied Computing
»
more
CIE 2006
»
Relativized Degree Spectra
14 years 1 months ago
Download
www.cs.swan.ac.uk
Alexandra A. Soskova
claim paper
Read More »
25
click to vote
CIE
2006
Springer
111
views
Applied Computing
»
more
CIE 2006
»
LJQ: A Strongly Focused Calculus for Intuitionistic Logic
14 years 1 months ago
Download
www.cs.st-andrews.ac.uk
LJQ is a focused sequent calculus for intuitionistic logic, with
Roy Dyckhoff, Stéphane Lengrand
claim paper
Read More »
21
click to vote
CIE
2006
Springer
84
views
Applied Computing
»
more
CIE 2006
»
Inverting Monotone Continuous Functions in Constructive Analysis
14 years 1 months ago
Download
www.mathematik.uni-muenchen.de
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
Helmut Schwichtenberg
claim paper
Read More »
26
click to vote
CIE
2006
Springer
74
views
Applied Computing
»
more
CIE 2006
»
Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal
14 years 1 months ago
Download
www.univ-orleans.fr
le conservative rational abstract geometrical computation is Turing-universal d abstract) J
Jérôme Durand-Lose
claim paper
Read More »
28
click to vote
CIE
2006
Springer
100
views
Applied Computing
»
more
CIE 2006
»
Every Sequence Is Decompressible from a Random One
14 years 1 months ago
Download
www.cs.swan.ac.uk
David Doty
claim paper
Read More »
13
click to vote
CIE
2006
Springer
78
views
Applied Computing
»
more
CIE 2006
»
An Introduction to Program and Thread Algebra
14 years 1 months ago
Download
staff.science.uva.nl
Alban Ponse, Mark van der Zwaag
claim paper
Read More »
21
click to vote
CIE
2006
Springer
110
views
Applied Computing
»
more
CIE 2006
»
On the Complexity of the Sperner Lemma
14 years 1 months ago
Download
www.cs.swan.ac.uk
Stefan S. Dantchev
claim paper
Read More »
16
click to vote
CIE
2006
Springer
70
views
Applied Computing
»
more
CIE 2006
»
A Subrecursive Refinement of the Fundamental Theorem of Algebra
14 years 1 months ago
Download
www.cs.swan.ac.uk
Peter Peshev, Dimiter Skordev
claim paper
Read More »
23
click to vote
CIE
2006
Springer
71
views
Applied Computing
»
more
CIE 2006
»
Partial Continuous Functions and Admissible Domain Representations
14 years 1 months ago
Download
www.cs.swan.ac.uk
Fredrik Dahlgren
claim paper
Read More »
« first
‹ previous
…
258
259
260
261
262
263
264
265
266
…
next ›
last »