Publications

AuthID
P-00N-ZSX

Author(s)

Editor(s)

Hélène Kirchner

Document Type

Proceedings Paper

Year published

2018

Published

in 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK in LIPIcs

Volume: 108, Pages: 5:1-5:16

Indexing

Publication Identifiers

Dblp: conf/rta/AlvesB18

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links