Integrating Implicit Induction Proofs Into Certified Proof Environments

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-16265-7_23
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Integrating Fault Kinematics Into Implicit 3D Modelling of Fault Networks

ASEG Extended Abstracts
2019English

Extracting Proofs From Tabled Proof Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Certified Connection Tableaux Proofs for HOL Light and TPTP

2015English

Certified Vegetable Plants, Frost Proof Cabbage Plants /

1924English

Moving Proofs-As-Programs Into Practice

English

Translating Between Implicit and Explicit Versions of Proof

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018

2018English

Integrating PROOF Analysis in Cloud and Batch Clusters

Journal of Physics: Conference Series
AstronomyPhysics
2012English

Nonnative Implicit Phonetic Training in Multiple Reverberant Environments

Attention, Perception & Psychophysics
LinguisticsSensory SystemsLanguageExperimentalCognitive Psychology
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy