Inproceedings,
Compositional Pre-processing for Automated Reasoning in Dependent Type Theory.
V. Blot, D. Cousineau, E. Crance, L. de Prisque, C. Keller, A. Mahboubi, and P. Vial.CPP, page 63-77. ACM, (2023)
Meta data
- BibTeX key
- conf/cpp/Blot0CPKMV23
- entry type
- inproceedings
- booktitle
- CPP
- year
- 2023
- pages
- 63-77
- publisher
- ACM
- crossref
- conf/cpp/2023
- ee
- https://doi.org/10.1145/3573105.3575676
- url
- http://dblp.uni-trier.de/db/conf/cpp/cpp2023.html#Blot0CPKMV23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/cpp/Blot0CPKMV23
%A Blot, Valentin
%A Cousineau, Denis
%A Crance, Enzo
%A de Prisque, Louise Dubois
%A Keller, Chantal
%A Mahboubi, Assia
%A Vial, Pierre
%B CPP
%D 2023
%E Krebbers, Robbert
%E Traytel, Dmitriy
%E Pientka, Brigitte
%E Zdancewic, Steve
%I ACM
%K dblp
%P 63-77
%T Compositional Pre-processing for Automated Reasoning in Dependent Type Theory.
%U http://dblp.uni-trier.de/db/conf/cpp/cpp2023.html#Blot0CPKMV23
@inproceedings{conf/cpp/Blot0CPKMV23,
added-at = {2023-03-07T00:00:00.000+0100},
author = {Blot, Valentin and Cousineau, Denis and Crance, Enzo and de Prisque, Louise Dubois and Keller, Chantal and Mahboubi, Assia and Vial, Pierre},
biburl = {https://www.bibsonomy.org/bibtex/2c5c6646a957a47b5a8ce6895ea3dfb05/dblp},
booktitle = {CPP},
crossref = {conf/cpp/2023},
editor = {Krebbers, Robbert and Traytel, Dmitriy and Pientka, Brigitte and Zdancewic, Steve},
ee = {https://doi.org/10.1145/3573105.3575676},
interhash = {58650725b605613c3201b36d20061c45},
intrahash = {c5c6646a957a47b5a8ce6895ea3dfb05},
keywords = {dblp},
pages = {63-77},
publisher = {ACM},
timestamp = {2024-04-09T22:48:37.000+0200},
title = {Compositional Pre-processing for Automated Reasoning in Dependent Type Theory.},
url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2023.html#Blot0CPKMV23},
year = 2023
}