| Publication | Date of Publication | Type |
|---|
About the characterization of a fine line that separates generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableau deduction
Journal Of Logic And Computation | 2022-02-08 | Paper |
| How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions | 2020-06-01 | Paper |
| On the tender line separating generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableaux deduction | 2020-05-06 | Paper |
| About the Chasm Separating the Goals of Hilbert's Consistency Program from the Second Incompletess Theorem | 2018-07-12 | Paper |
| On How the Introducing of a New $\theta$ Function Symbol Into Arithmetic's Formalism Is Germane to Devising Axiom Systems that Can Appreciate Fragments of Their Own Hilbert Consistency | 2016-12-23 | Paper |
On the broader epistemological significance of self-justifying axiom systems
Logic, Language, Information, and Computation | 2015-01-13 | Paper |
| On the Significance of Self-Justifying Axiom Systems from the Perspective of Analytic Tableaux | 2013-06-29 | Paper |
The axiom system \(\mathrm{I}\Sigma_{0}\) manages to simultaneously obey and evade the Herbrandized version of the second incompleteness theorem
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
| A Detailed Examination of Methods for Unifying, Simplifying and Extending Several Results About Self-Justifying Logics | 2011-08-31 | Paper |
Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem
Information and Computation | 2009-10-09 | Paper |
Passive induction and a solution to a Paris-Wilkie open question
Annals of Pure and Applied Logic | 2007-05-23 | Paper |
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency
Journal of Symbolic Logic | 2007-01-19 | Paper |
An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
Journal of Symbolic Logic | 2006-09-06 | Paper |
A generalization of the second incompleteness theorem and some exceptions to it
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
Automated Reasoning with Analytic Tableaux and Related Methods
Lecture Notes in Computer Science | 2006-07-07 | Paper |
| scientific article; zbMATH DE number 5000992 (Why is no real title available?) | 2006-01-24 | Paper |
| scientific article; zbMATH DE number 1950268 (Why is no real title available?) | 2003-07-17 | Paper |
An algorithm for handling many relational calculus queries efficiently.
Journal of Computer and System Sciences | 2003-05-14 | Paper |
How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
Journal of Symbolic Logic | 2003-02-06 | Paper |
Self-verifying axiom systems, the incompleteness theorem and related reflection principles
The Journal of Symbolic Logic | 2002-08-29 | Paper |
| scientific article; zbMATH DE number 1612566 (Why is no real title available?) | 2001-07-01 | Paper |
Examining Computational Geometry, Van Emde Boas Trees, and Hashing from the Perspective of the Fusion Tree
SIAM Journal on Computing | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1114029 (Why is no real title available?) | 1998-11-03 | Paper |
| scientific article; zbMATH DE number 1088209 (Why is no real title available?) | 1998-04-01 | Paper |
Applications of range query theory to relational data base join and selection operations
Journal of Computer and System Sciences | 1996-07-16 | Paper |
Optimal sample cost residues for differential database batch query problems
Journal of the ACM | 1994-08-21 | Paper |
Trans-dichotomous algorithms for minimum spanning trees and shortest paths
Journal of Computer and System Sciences | 1994-06-29 | Paper |
Surpassing the information theoretic bound with fusion trees
Journal of Computer and System Sciences | 1994-03-24 | Paper |
| scientific article; zbMATH DE number 517088 (Why is no real title available?) | 1994-03-17 | Paper |
A density control algorithm for doing insertions and deletions in a sequentially ordered file in a good worst-case time
Information and Computation | 1992-06-28 | Paper |
On the angle restricted nearest neighbor problem
Information Processing Letters | 1990-01-01 | Paper |
Lower bounds for the addition-subtraction operations in orthogonal range queries and related problems
Information and Computation | 1989-01-01 | Paper |
Parallel processing can be harmful: The unusual behavior of interpolation search
Information and Computation | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 3961018 (Why is no real title available?) | 1986-01-01 | Paper |
Log-Logarithmic Selection Resolution Protocols in a Multiple Access Channel
SIAM Journal on Computing | 1986-01-01 | Paper |
New Data Structures for Orthogonal Range Queries
SIAM Journal on Computing | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3907783 (Why is no real title available?) | 1985-01-01 | Paper |
Searching Unindexed and Nonuniformly Generated Files in \log \log N Time
SIAM Journal on Computing | 1985-01-01 | Paper |
Algorithms for resolving conflicts in dynamic storage allocation
Journal of the ACM | 1985-01-01 | Paper |
Adding range restriction capability to dynamic data structures
Journal of the ACM | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3943070 (Why is no real title available?) | 1984-01-01 | Paper |
New trie data structures which support very fast search operations
Journal of Computer and System Sciences | 1984-01-01 | Paper |
Log-logarithmic worst-case range queries are possible in space theta(N)
Information Processing Letters | 1983-01-01 | Paper |
A data structure for dynamic range queries
Information Processing Letters | 1982-01-01 | Paper |
Polygon Retrieval
SIAM Journal on Computing | 1982-01-01 | Paper |
