Amanote Research

Amanote Research

    RegisterSign In

Compositional Computational Reflection

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-08970-6_24
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2014

Authors
Gregory MalechaAdam ChlipalaThomas Braibant
Publisher

Springer International Publishing


Related search

Compositional C++: Compositional Parallel Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Examination of Far-Field Mathematical Absorber Reflection Suppression Through Computational Electromagnetic Simulation

International Journal of Antennas and Propagation
Electronic EngineeringElectrical
2012English

Compositional Game Theory

2018English

Erratum: Equivalence of Compositional Expressions and Independence Relations in Compositional Models

Kybernetika
ControlSystems EngineeringInformation SystemsElectronic EngineeringElectricalTheoretical Computer ScienceArtificial IntelligenceSoftware
2015English

Reflection

Otolaryngology - Head and Neck Surgery
OtorhinolaryngologySurgery
2015English

Reflection

Academic Emergency Medicine
MedicineEmergency Medicine
2014English

Covariance Structure of Compositional Tables

Austrian Journal of Statistics
UncertaintyApplied MathematicsStatisticsProbability
2015English

Compositional Reasoning in Early Childhood

PLoS ONE
Multidisciplinary
2016English

Compositional Paths to De Re

Semantics and Linguistic Theory
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy