Inproceedings,
CHC-COMP 2022: Competition Report.
E. Angelis, and H. K..HCVS/VPT@ETAPS, volume 373 of EPTCS, page 44-62. (2022)
Meta data
- BibTeX key
- journals/corr/abs-2211-12231
- entry type
- inproceedings
- booktitle
- HCVS/VPT@ETAPS
- year
- 2022
- pages
- 44-62
- series
- EPTCS
- volume
- 373
- crossref
- journals/corr/abs-2211-10675
- ee
- https://doi.org/10.48550/arXiv.2211.12231
- url
- http://dblp.uni-trier.de/db/series/eptcs/eptcs373.html#abs-2211-12231
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 journals/corr/abs-2211-12231
%A Angelis, Emanuele De
%A K., Hari Govind V.
%B HCVS/VPT@ETAPS
%D 2022
%E Hamilton, Geoffrey William
%E Kahsai, Temesghen
%E Proietti, Maurizio
%K dblp
%P 44-62
%T CHC-COMP 2022: Competition Report.
%U http://dblp.uni-trier.de/db/series/eptcs/eptcs373.html#abs-2211-12231
%V 373
@inproceedings{journals/corr/abs-2211-12231,
added-at = {2022-12-05T00:00:00.000+0100},
author = {Angelis, Emanuele De and K., Hari Govind V.},
biburl = {https://www.bibsonomy.org/bibtex/2d7608814ce7f64e51807b490d4000fe8/dblp},
booktitle = {HCVS/VPT@ETAPS},
crossref = {journals/corr/abs-2211-10675},
editor = {Hamilton, Geoffrey William and Kahsai, Temesghen and Proietti, Maurizio},
ee = {https://doi.org/10.48550/arXiv.2211.12231},
interhash = {d5c535283c301a26cdb411c5b48ddf0c},
intrahash = {d7608814ce7f64e51807b490d4000fe8},
keywords = {dblp},
pages = {44-62},
series = {EPTCS},
timestamp = {2024-04-09T09:30:46.000+0200},
title = {CHC-COMP 2022: Competition Report.},
url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs373.html#abs-2211-12231},
volume = 373,
year = 2022
}