Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs

doi 10.29007/jqtz
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

EasyChair

Related search

An Evolutionary Approach to Translating Operational Specifications Into Declarative Specifications

Science of Computer Programming
Software
2019English

1997 Hybrid Electric Vehicle Specifications

1996English

From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-Order Decision Procedures

IFIP International Federation for Information Processing
English

Libraries of French Higher Education

Bibliothek Forschung und Praxis
2016English

Higher-Order Finite Elements for Hybrid Meshes Using New Nodal Pyramidal Elements

Journal of Scientific Computing
Numerical AnalysisApplied MathematicsComputational TheoryEngineeringComputational MathematicsMathematicsTheoretical Computer ScienceSoftware
2009English

Hybrid Damping in Higher Order Line Side Filter in Active Front-End Operation

International Journal of Computer and Electrical Engineering
2012English

Higher-Order Containers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Higher-Order Uncertainty

2019English

Higher Order Operations

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1963English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy