Holdings: :: Library Catalog

Saved in:

Bibliographic Details
Main Authors:	García, Javier Gutiérrez, Lai, Hongliang, Shen, Lili
Format:	Preprint
Published:	2017
Subjects:	Logic in Computer Science 03B52, 06A15, 06F07, 18B35, 18D20, 18A40
Online Access:	https://arxiv.org/abs/1707.08849
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/1707.08849