Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Julien Narboux
A Decision Procedure for Geometry in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mechanical Theorem Proving in Tarski’s Geometry
Related publications
A Goal-Directed Decision Procedure for Hybrid PDL
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
A Decision Procedure for Unitary Linear Quantum Cellular Automata
SIAM Journal on Computing
Mathematics
Computer Science
A Decision-Making Procedure for Resolution-Based SAT-Solvers
PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic
Journal of Applied Non-Classical Logics
Philosophy
Logic
Decision Support Procedure for Medical Equipment Maintenance Management
Journal of Clinical Engineering
Medicine
Biomedical Engineering
An Iterative Aggregation Procedure for Markov Decision Processes
Operations Research
Management Science
Computer Science Applications
Operations Research
A Constructive Denotational Semantics for Kahn Networks in Coq
A Formal Library for Elliptic Curves in the Coq Proof Assistant
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying a Local Generic Solver in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
