Inproceedings,
The Quotient in Preorder Theories.
Í. Romeo, L. Mangeruca, T. Villa, and A. Sangiovanni-Vincentelli.GandALF, volume 326 of EPTCS, page 216-233. (2020)
Meta data
- BibTeX key
- journals/corr/abs-2009-10886
- entry type
- inproceedings
- booktitle
- GandALF
- year
- 2020
- pages
- 216-233
- series
- EPTCS
- volume
- 326
- crossref
- journals/corr/abs-2009-09360
- ee
- https://arxiv.org/abs/2009.10886
- url
- http://dblp.uni-trier.de/db/series/eptcs/eptcs326.html#abs-2009-10886
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 journals/corr/abs-2009-10886
%A Romeo, Íñigo X. Íncer
%A Mangeruca, Leonardo
%A Villa, Tiziano
%A Sangiovanni-Vincentelli, Alberto L.
%B GandALF
%D 2020
%E Raskin, Jean-François
%E Bresolin, Davide
%K dblp
%P 216-233
%T The Quotient in Preorder Theories.
%U http://dblp.uni-trier.de/db/series/eptcs/eptcs326.html#abs-2009-10886
%V 326
@inproceedings{journals/corr/abs-2009-10886,
added-at = {2020-12-10T00:00:00.000+0100},
author = {Romeo, Íñigo X. Íncer and Mangeruca, Leonardo and Villa, Tiziano and Sangiovanni-Vincentelli, Alberto L.},
biburl = {https://www.bibsonomy.org/bibtex/2cef878fa84b14212002f680dd05267c4/dblp},
booktitle = {GandALF},
crossref = {journals/corr/abs-2009-09360},
editor = {Raskin, Jean-François and Bresolin, Davide},
ee = {https://arxiv.org/abs/2009.10886},
interhash = {39bf41325a3890e24d70f1c6dc158cbb},
intrahash = {cef878fa84b14212002f680dd05267c4},
keywords = {dblp},
pages = {216-233},
series = {EPTCS},
timestamp = {2024-04-09T09:29:58.000+0200},
title = {The Quotient in Preorder Theories.},
url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs326.html#abs-2009-10886},
volume = 326,
year = 2020
}