Proceedings - Symposium on Logic in Computer Science

ISSN: 1043-6871
Publisher: Institute of Electrical and Electronics Engineers

Publications (12)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract

Varieties of Languages in a Category (2015) Adámek J, Milius S, Myers R, Urbat H, Urbat H Conference contribution A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (2013) Goncharov S, Schröder L Conference contribution, Original article
‹ 1 2 ›