| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 7024141 (Why is no real title available?)
| 2019-02-15 | Paper |
A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Computational logic and set theory. Applying formalized logic to analysis. Foreword by Martin Davis
| 2011-08-08 | Paper |
Notes from the logbook of a proof-checker's project
Lecture Notes in Computer Science | 2010-03-23 | Paper |
scientific article; zbMATH DE number 5560312 (Why is no real title available?)
| 2009-06-02 | Paper |
Discrete thoughts. Essays on mathematics, science, and philosophy. Revised and corrected edition with the assistance of Peter Renz
Modern Birkhäuser Classics | 2008-02-11 | Paper |
scientific article; zbMATH DE number 5151001 (Why is no real title available?)
| 2007-05-09 | Paper |
Do the integers exist? The unknowability of arithmetic consistency
Communications on Pure and Applied Mathematics | 2005-09-26 | Paper |
A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case
Journal of Automated Reasoning | 2005-06-22 | Paper |
scientific article; zbMATH DE number 1926638 (Why is no real title available?)
| 2003-06-11 | Paper |
Gian-Carlo Rota (1932--1999).
Notices of the American Mathematical Society | 2001-11-18 | Paper |
scientific article; zbMATH DE number 1142297 (Why is no real title available?)
| 1998-05-04 | Paper |
scientific article; zbMATH DE number 960192 (Why is no real title available?)
| 1997-01-05 | Paper |
\(T\)-theorem proving. I
Journal of Symbolic Computation | 1996-06-04 | Paper |
scientific article; zbMATH DE number 512972 (Why is no real title available?)
| 1994-04-07 | Paper |
scientific article; zbMATH DE number 193011 (Why is no real title available?)
| 1993-06-05 | Paper |
scientific article; zbMATH DE number 193013 (Why is no real title available?)
| 1993-06-05 | Paper |
scientific article; zbMATH DE number 193012 (Why is no real title available?)
| 1993-06-05 | Paper |
Finding effective ``Force targets for two-dimensional, multifinger frictional grips
Algorithmica | 1992-08-13 | Paper |
Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs
Journal of Automated Reasoning | 1991-01-01 | Paper |
On the two-dimensional Davenport-Schinzel problem
Journal of Symbolic Computation | 1990-01-01 | Paper |
A survey of motion planning and related geometric algorithms
Artificial Intelligence | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4162852 (Why is no real title available?)
| 1988-01-01 | Paper |
Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator
Journal of Computer and System Sciences | 1987-01-01 | Paper |
Decision algorithms for some fragments of analysis and related areas
Communications on Pure and Applied Mathematics | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4108220 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4016244 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 3976287 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3961546 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3997616 (Why is no real title available?)
| 1986-01-01 | Paper |
Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator
Communications on Pure and Applied Mathematics | 1985-01-01 | Paper |
On the piano movers' problem: V. The case of a rod moving in three-dimensional space amidst polyhedral obstacles
Communications on Pure and Applied Mathematics | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3904554 (Why is no real title available?)
| 1984-01-01 | Paper |
On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds
Advances in Applied Mathematics | 1983-01-01 | Paper |
On the “piano movers'” problem I. The case of a two-dimensional rigid polygonal body moving amidst polygonal barriers
Communications on Pure and Applied Mathematics | 1983-01-01 | Paper |
Experience with the SETL Optimizer
ACM Transactions on Programming Languages and Systems | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3951430 (Why is no real title available?)
| 1983-01-01 | Paper |
Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions
Communications on Pure and Applied Mathematics | 1981-01-01 | Paper |
An Automatic Technique for Selection of Data Representations in SETL Programs
ACM Transactions on Programming Languages and Systems | 1981-01-01 | Paper |
Fast Probabilistic Algorithms for Verification of Polynomial Identities
Journal of the ACM | 1980-01-01 | Paper |
Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions
Communications on Pure and Applied Mathematics | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3715506 (Why is no real title available?)
| 1980-01-01 | Paper |
Ultracomputers
ACM Transactions on Programming Languages and Systems | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3664349 (Why is no real title available?)
| 1979-01-01 | Paper |
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
ACM Transactions on Programming Languages and Systems | 1979-01-01 | Paper |
Metamathematical extensibility for theorem verifiers and proof-checkers
Computers & Mathematics with Applications | 1979-01-01 | Paper |
A note on monte carlo primality tests and algorithmic information theory
Communications on Pure and Applied Mathematics | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3550147 (Why is no real title available?)
| 1977-01-01 | Paper |
A Fast Switch
The American Mathematical Monthly | 1976-01-01 | Paper |
Automatic data structure choice in a language of very high level
Communications of the ACM | 1975-01-01 | Paper |
Optimization of very high level languages—I
Computer Languages | 1975-01-01 | Paper |
Optimization of very high level languages—II. Deducing relationships of inclusion and membership
Computer Languages | 1975-01-01 | Paper |
An introduction to the set theoretical language SETL
Computers & Mathematics with Applications | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3486973 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3564269 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3444249 (Why is no real title available?)
| 1974-01-01 | Paper |
Semantic and syntactic issues in programming
Bulletin of the American Mathematical Society | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3499220 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3416946 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3428511 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3421934 (Why is no real title available?)
| 1972-01-01 | Paper |
scientific article; zbMATH DE number 3407123 (Why is no real title available?)
| 1972-01-01 | Paper |
scientific article; zbMATH DE number 3384808 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3431310 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3388535 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3311601 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3289167 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3322426 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3305885 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3299358 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3295617 (Why is no real title available?)
| 1967-01-01 | Paper |
Representations of the algebra of all operators in hilbert space, and related analytic function algebras
Communications on Pure and Applied Mathematics | 1967-01-01 | Paper |
Large Parallel Computers
Journal of the ACM | 1966-01-01 | Paper |
A remark on morse theory
Communications on Pure and Applied Mathematics | 1966-01-01 | Paper |
scientific article; zbMATH DE number 3235594 (Why is no real title available?)
| 1966-01-01 | Paper |
Generalizing the Lusternik‐Schnirelman theory of critical points
Communications on Pure and Applied Mathematics | 1964-01-01 | Paper |
scientific article; zbMATH DE number 3209538 (Why is no real title available?)
| 1963-01-01 | Paper |
Two finite, non‐hyperfinite, non‐isomorphic factors
Communications on Pure and Applied Mathematics | 1963-01-01 | Paper |
Compact analytic mappings of B‐spaces and a theorem of Jane Cronin
Communications on Pure and Applied Mathematics | 1963-01-01 | Paper |
Non‐isomorphism of a pair of factors of type III
Communications on Pure and Applied Mathematics | 1963-01-01 | Paper |
On Generators of the Banach Algebras l 1 and L 1 (0, ∞)
Transactions of the American Mathematical Society | 1963-01-01 | Paper |
Type II factors in a central decomposition
Communications on Pure and Applied Mathematics | 1963-01-01 | Paper |
Some results on the spectra and spectral resolutions of a class of singular integral operators
Communications on Pure and Applied Mathematics | 1962-01-01 | Paper |
Subdiagonalization of operators in Hilbert space with compact imaginary part
Communications on Pure and Applied Mathematics | 1962-01-01 | Paper |
scientific article; zbMATH DE number 3216146 (Why is no real title available?)
| 1962-01-01 | Paper |
On spectral operators in Hilbert space with compact imaginary part
Communications on Pure and Applied Mathematics | 1962-01-01 | Paper |
A remark on inequalities of Calderon-Zygmund type for vector-valued functions
Communications on Pure and Applied Mathematics | 1961-01-01 | Paper |
Free Quantized Lorentzian Fields
Journal of Mathematical Physics | 1961-01-01 | Paper |
Compact positive mappings in Lebesgue spaces
Communications on Pure and Applied Mathematics | 1961-01-01 | Paper |
scientific article; zbMATH DE number 3195851 (Why is no real title available?)
| 1961-01-01 | Paper |
Some non-selfadjoint operators II. A family of operators yielding to Friedrichs' method
Communications on Pure and Applied Mathematics | 1961-01-01 | Paper |
Some non-selfadjoint operators
Communications on Pure and Applied Mathematics | 1960-01-01 | Paper |
On Nash's implicit functional theorem
Communications on Pure and Applied Mathematics | 1960-01-01 | Paper |
Another proof of E. Hopf's ergodic lemma
Communications on Pure and Applied Mathematics | 1959-01-01 | Paper |
scientific article; zbMATH DE number 3137662 (Why is no real title available?)
| 1958-01-01 | Paper |
A Vector-Valued Random Ergodic Theorem
| 1958-01-01 | Paper |
scientific article; zbMATH DE number 3146278 (Why is no real title available?)
| 1957-01-01 | Paper |
scientific article; zbMATH DE number 3125067 (Why is no real title available?)
| 1956-01-01 | Paper |
ON MAUTNER'S EIGENFUNCTION EXPANSION
Proceedings of the National Academy of Sciences | 1956-01-01 | Paper |
Riemann’s method in the theory of special functions
Bulletin of the American Mathematical Society | 1956-01-01 | Paper |
De Rham's Theorem for Arbitrary Spaces
American Journal of Mathematics | 1955-01-01 | Paper |
Weak Compactness and Vector Measures
Canadian Journal of Mathematics | 1955-01-01 | Paper |
CONVERGENCE ALMOST EVERYWHERE OF OPERATOR AVERAGES
Proceedings of the National Academy of Sciences | 1955-01-01 | Paper |
Two perturbation formulae
Communications on Pure and Applied Mathematics | 1955-01-01 | Paper |
Perturbations of spectral operators, and applications. I. Bounded perturbations
Pacific Journal of Mathematics | 1954-01-01 | Paper |
The Formula for Change in Variables in a Multiple Integral
| 1954-01-01 | Paper |
A Note on the Space L ∗ p
Proceedings of the American Mathematical Society | 1951-01-01 | Paper |
