Skip to content

Fixed-Points for Quantitative Equational Logics.

Radu Mardare, Prakash Panangaden, Gordon D. Plotkin

VenueA*LICS
Year2021
ProceedingsLICS

Browse the full LICS paper archive.