User: Guest  Login
If you experience problems opening the document, please try this link.
Title:

Verified Approximation Algorithms

Document type:
Zeitschriftenaufsatz
Author(s):
Eßmann, Robin; Nipkow, Tobias; Robillard, Simon; Sulejmani, Ujkan
Journal title:
Logical Methods in Computer Science
Year:
2022
Journal volume:
Volume 18, Issue 1
Fulltext / DOI:
doi:10.46298/lmcs-18(1:36)2022
Publisher:
Centre pour la Communication Scientifique Directe (CCSD)
E-ISSN:
1860-5974
Date of publication:
01.03.2022
 BibTeX