Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Filters

Journal of automated reasoning

Showing results (1-10 of 40) with videos related to

Pageof 4
Sort By:
Journal of Automated Reasoning|April 1, 2020
A Verified Implementation of Algebraic Numbers in Isabelle/HOLSebastiaan J C Joosten, René Thiemann, Akihisa Yamada
Journal of Automated Reasoning|September 4, 2018
A Formal C Memory Model for Separation LogicRobbert Krebbers
Journal of Automated Reasoning|September 4, 2018
A Fully Automatic Theorem Prover with Human-Style OutputM Ganesalingam, W T Gowers
Journal of Automated Reasoning|August 3, 2018
The OWL Reasoner Evaluation (ORE) 2015 Competition ReportBijan Parsia, Nicolas Matentzoglu, Rafael S Gonçalves, et al.
Journal of Automated Reasoning|August 3, 2018
OWL Reasoning: Subsumption Test Hardness and ModularityNicolas Matentzoglu, Bijan Parsia, Uli Sattler
Journal of Automated Reasoning|September 4, 2018
Relative Termination via Dependency PairsJosé Iborra, Naoki Nishida, Germán Vidal, et al.
Journal of Automated Reasoning|November 1, 2021
Certified Quantum Computation in Isabelle/HOLAnthony Bordg, Hanna Lachnitt, Yijun He
Journal of Automated Reasoning|January 24, 2022
Proof Complexity of Modal ResolutionSarah Sigley, Olaf Beyersdorff
Journal of Automated Reasoning|November 10, 2022
A Comprehensive Framework for Saturation Theorem ProvingUwe Waldmann, Sophie Tourret, Simon Robillard, et al.
Journal of Automated Reasoning|November 10, 2022
A Formalization of SQL with NullsWilmer Ricciotti, James Cheney
Pageof 4

Showing results (1-10 of 40) with videos related to

Sort By:
Pageof 4
Journal of Automated Reasoning|April 1, 2020
A Verified Implementation of Algebraic Numbers in Isabelle/HOLSebastiaan J C Joosten, René Thiemann, Akihisa Yamada
Journal of Automated Reasoning|September 4, 2018
A Formal C Memory Model for Separation LogicRobbert Krebbers
Journal of Automated Reasoning|September 4, 2018
A Fully Automatic Theorem Prover with Human-Style OutputM Ganesalingam, W T Gowers
Journal of Automated Reasoning|August 3, 2018
The OWL Reasoner Evaluation (ORE) 2015 Competition ReportBijan Parsia, Nicolas Matentzoglu, Rafael S Gonçalves, et al.
Journal of Automated Reasoning|August 3, 2018
OWL Reasoning: Subsumption Test Hardness and ModularityNicolas Matentzoglu, Bijan Parsia, Uli Sattler
Journal of Automated Reasoning|September 4, 2018
Relative Termination via Dependency PairsJosé Iborra, Naoki Nishida, Germán Vidal, et al.
Journal of Automated Reasoning|November 1, 2021
Certified Quantum Computation in Isabelle/HOLAnthony Bordg, Hanna Lachnitt, Yijun He
Journal of Automated Reasoning|January 24, 2022
Proof Complexity of Modal ResolutionSarah Sigley, Olaf Beyersdorff
Journal of Automated Reasoning|November 10, 2022
A Comprehensive Framework for Saturation Theorem ProvingUwe Waldmann, Sophie Tourret, Simon Robillard, et al.
Journal of Automated Reasoning|November 10, 2022
A Formalization of SQL with NullsWilmer Ricciotti, James Cheney
Pageof 4