Amanote Research
Register
Sign In
Program Simplification as a Means of Approximating Undecidable Propositions
doi 10.1109/wpc.1999.777760
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
M. Harman
C. Fox
R. Hierons
D. Binkley
S. Danicic
Publisher
IEEE Comput. Soc
Related search
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
Undecidable Extensions of Skolem Arithmetic
Journal of Symbolic Logic
Philosophy
Logic
Author's Program From Combined Shaping as a Means of Improving the Physical Preparedness of Female Students
Слобожанський науково-спортивний вісник
An Undecidable Arithmetical Statement
Fundamenta Mathematicae
Number Theory
Algebra
Embeddability of Simplicial Complexes Is Undecidable
“Means of Communication as Means of Production” Revisited
Text as a Means of Intercultural Communication
Bulletin of the Moscow State Regional University (Russian philology)
