Login
- Titel:
Verified Approximation Algorithms
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Eßmann, Robin; Nipkow, Tobias; Robillard, Simon; Sulejmani, Ujkan
- Zeitschriftentitel:
- Logical Methods in Computer Science
- Jahr:
- 2022
- Band / Volume:
- Volume 18, Issue 1
- Volltext / DOI:
- doi:10.46298/lmcs-18(1:36)2022
- Verlag / Institution:
- Centre pour la Communication Scientifique Directe (CCSD)
- E-ISSN:
- 1860-5974
- Publikationsdatum:
- 01.03.2022
BibTeX