Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Malcolm Munro
Weakest Precondition for General Recursive Programs Formalized in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Partial Derivative Automata Formalized in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modular Verification of Programs With Effects and Effect Handlers in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Bottom-Up Computation of Recursive Programs
Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
Recursive Programs as Definitions in First-Order Logic
SIAM Journal on Computing
Mathematics
Computer Science
Pac-Learning Recursive Logic Programs: Efficient Algorithms
Journal of Artificial Intelligence Research
Artificial Intelligence
Pac-Learning Recursive Logic Programs: Negative Results
Journal of Artificial Intelligence Research
Artificial Intelligence
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Theorem on General Recursive Functions
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study
IPSJ Digital Courier