Holdings: :: Library Catalog

Saved in:

Bibliographic Details
Main Authors:	Gylterud, Håkon Robbestad, Stenholm, Elisabeth, Veltri, Niccolò
Format:	Preprint
Published:	2020
Subjects:	Logic Logic in Computer Science 03B38 (Primary), 03B70 (Secondary), 03F65 F.4.1
Online Access:	https://arxiv.org/abs/2001.06696
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2001.06696