|
|
FIRST AUTHOR
– unknown authors
|
|
|
Isabelle/HOL as a Platform for Partiality
– Olaf Müller, Konrad Slind
|
|
|
Constructive Complexity
– Karl Abrahamson, Michael R. Fellows, Michael A. Langston, Bernard M. E. Moret
- 1990
|
|
|
History of Constructivism in the 20th Century
– A.S. Troelstra
|
|
|
A lambda-to-CL Translation for Strong Normalization
– Yohji Akama
- 1997
|
|
|
A Constructive Theory of Euclidean Geometry: The first twenty-eight theorems
– D. E. Stevenson
- 1995
|
|
|
lambda-Terms, Logic, Determiners and Quantifiers
– Fairouz Kamareddine
- 1996
|
|
|
Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli countermodels.
– James Lipton, Lauchli Countermodels, Michael J. O'donnell
- 1996
|
|
|
Computable p-adic Numbers
– George Kapoulas, George Kapoulas
- 1999
|
|
|
m Solutions Good, m-1 Solutions Better
– Luc Longpre, William Gasarch, G. William Walster, Vladik Kreinovich
- 2000
|
|
|
Computational Complexity of Optimization and Crude Range Testing: A New Approach Motivated by Fuzzy Optimization
– G. William Walster, Vladik Kreinovich
- 2001
|
|
|
Instructions For Typesetting Camera-Ready Manuscripts Using T E X System
– First Author Full
|
|
|
A Tour with Constructive Real Numbers
– Alberto Ciaffaglione, Pietro Di Gianantonio
|
|
|
Naïve Type Theory
– Robert L. Constable
- 2002
|
|
|
Lambda-Calcolo E Teoria Dei Tipi
– Silvio Valentini
|
|
|
Dependence Analysis Through Type Inference
– O. Hafizogullari, C. Kreitz
- 1999
|
|
|
The Axiom Of Choice And Combinatory Logic
– Andrea Cantini
|
|
|
Journal of Computational Acoustics
– Imacs Instructions For
|
|
|
Extracting Computable Bounds (and Algorithms) from Classical Existence Proofs: Girard Domains Enable Us to Go Beyond Local Compactness
– Vladik Kreinovich, Karen Villaverde
|
|
4
|
Constructive Foundations for Z
– Martin C. Henson, Steve Reeves
- 1997
|
