Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ken McMillan
Synthesis of Circular Compositional Program Proofs via Abduction
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Related publications
Identification of Proofs via Syzygies
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
From Explanation to Synthesis: Compositional Program Induction for Learning From Demonstration
Compositional Characterization of Observable Program Properties
DAIMI Report Series
On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Abduction via C-Tableaux and Δ-Resolution
Journal of Applied Non-Classical Logics
Philosophy
Logic
Compositional Synthesis of Safety Controllers
Compositional Dataflow via Abstract Transition Systems
Automatic Synthesis of Assumptions for Compositional Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Learning Monolingual Compositional Representations via Bilingual Supervision
