| Publication | Date of Publication | Type |
|---|
A tribute to Leslie Howarth (1911--2001)
Mathematics Today (Southend-on-Sea) | 2024-10-02 | Paper |
| scientific article; zbMATH DE number 2090924 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 1984523 (Why is no real title available?) | 2003-09-22 | Paper |
A note on the notion of truth in fuzzy logic
Annals of Pure and Applied Logic | 2003-02-03 | Paper |
Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
Journal of Symbolic Logic | 2001-01-14 | Paper |
The liar paradox and fuzzy logic
Journal of Symbolic Logic | 2000-06-22 | Paper |
| scientific article; zbMATH DE number 1158757 (Why is no real title available?) | 1998-06-03 | Paper |
| scientific article; zbMATH DE number 749923 (Why is no real title available?) | 1995-09-18 | Paper |
The role of standardising apart in logic programming
Theoretical Computer Science | 1995-05-01 | Paper |
Partial deduction of updateable definite logic programs
The Journal of Logic Programming | 1995-01-02 | Paper |
Unfold/fold transformations of logic programs
Mathematical Structures in Computer Science | 1992-12-14 | Paper |
| scientific article; zbMATH DE number 65758 (Why is no real title available?) | 1992-09-27 | Paper |
SLDNF-resolution with equality
Journal of Automated Reasoning | 1992-09-27 | Paper |
Mints type deductive calculi for logic programming
Annals of Pure and Applied Logic | 1992-09-27 | Paper |
Partial evaluation in logic programming
The Journal of Logic Programming | 1992-06-28 | Paper |
Correct answers to allowed programs and queries are ground
The Journal of Logic Programming | 1992-06-28 | Paper |
Properties of a Pruning Operator
Journal Of Logic And Computation | 1990-01-01 | Paper |
A sound and complete semantics for a version of negation as failure
Theoretical Computer Science | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4185011 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4028866 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4072939 (Why is no real title available?) | 1988-01-01 | Paper |
Negation as failure. II
The Journal of Logic Programming | 1985-01-01 | Paper |
Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
The Journal of Logic Programming | 1984-01-01 | Paper |
Variants of Robinson's essentially undecidable theoryR
Archiv für Mathematische Logik und Grundlagenforschung | 1983-01-01 | Paper |
Calvin C. Elgot (1922-1980)
Journal of Computer and System Sciences | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3746410 (Why is no real title available?) | 1982-01-01 | Paper |
Graph theoretic characterization of G-schemes and T L-schemes
Theoretical Computer Science | 1982-01-01 | Paper |
Some diophantine forms of gödel's theorem
Archiv für mathematische Logik und Grundlagenforschung | 1982-01-01 | Paper |
In memoriam Calvin C. Elgot
Theoretical Computer Science | 1981-01-01 | Paper |
Utility theory based on rational probabilities
Journal of Mathematical Economics | 1980-01-01 | Paper |
A semantically meaningful characterization of reducible flowchart schemes
Theoretical Computer Science | 1979-01-01 | Paper |
Gödel's Second incompleteness theorem for Q
Journal of Symbolic Logic | 1976-01-01 | Paper |
On the Definition of Computable Function of a Real Variable
Mathematical Logic Quarterly | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3508476 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3484021 (Why is no real title available?) | 1970-01-01 | Paper |
Sets recognized by n-tape automata
Journal of Algebra | 1969-01-01 | Paper |
Weak and Strong Induction
The American Mathematical Monthly | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3248030 (Why is no real title available?) | 1965-01-01 | Paper |
Machine Configuration and Word Problems of Given Degree of Unsolvability
Mathematical Logic Quarterly | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3266625 (Why is no real title available?) | 1965-01-01 | Paper |
Ernst Robert (Peter) Reifenberg
Journal of the London Mathematical Society | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3214534 (Why is no real title available?) | 1964-01-01 | Paper |
Computability of Recursive Functions
Journal of the ACM | 1963-01-01 | Paper |
Representability of recursively enumerable sets in formal theories
Archiv für Mathematische Logik und Grundlagenforschung | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3254906 (Why is no real title available?) | 1959-01-01 | Paper |
Effective procedures in field theory
Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences | 1956-01-01 | Paper |
On the interpretation of Aristotelian syllogistic
Journal of Symbolic Logic | 1956-01-01 | Paper |
Note on a system of myhill
Journal of Symbolic Logic | 1956-01-01 | Paper |
On the factorization of polynomials in a finite number of steps
Mathematische Zeitschrift | 1955-01-01 | Paper |
Effective operations on partial recursive functions
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1955-01-01 | Paper |
On two problems of Kurepa
Pacific Journal of Mathematics | 1954-01-01 | Paper |
Inner models for set theory – Part III
Journal of Symbolic Logic | 1953-01-01 | Paper |
Inner models for set theory—Part II
Journal of Symbolic Logic | 1952-01-01 | Paper |
Inverses and Zero Divisors in Matrix Rings
Proceedings of the London Mathematical Society | 1951-01-01 | Paper |
Well-Ordered Sub-Series of General Series
Proceedings of the London Mathematical Society | 1951-01-01 | Paper |
Inner models for set theory—Part I
Journal of Symbolic Logic | 1951-01-01 | Paper |
On the Addition of Elements of a Sequence
Journal of the London Mathematical Society | 1947-01-01 | Paper |
