Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by D. Binkley
Program Simplification as a Means of Approximating Undecidable Propositions
Related publications
Our Lady, Queen of Undecidable Propositions
Journal of Humanistic Mathematics
Customizing IT Service Agreements as a Self Service by Means of Productized Service Propositions
Linear Logic Propositions as Session Types
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Author's Program From Combined Shaping as a Means of Improving the Physical Preparedness of Female Students
Слобожанський науково-спортивний вісник
Embeddability of Simplicial Complexes Is Undecidable
Undecidable Extensions of Skolem Arithmetic
Journal of Symbolic Logic
Philosophy
Logic
An Undecidable Arithmetical Statement
Fundamenta Mathematicae
Number Theory
Algebra
TSO-to-TSO Linearizability Is Undecidable
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Text as a Means of Intercultural Communication
Bulletin of the Moscow State Regional University (Russian philology)
