Publications

AuthID
P-00N-ZSX

Author(s)

Editor(s)

Kirchner,H

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, ISSN: 18688969

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

Indexing

Scopus^®

Google Scholar^®

Publication Identifiers

DOI: 10.4230/lipics.fscd.2018.5

Dblp: conf/rta/AlvesB18

Scopus: 2-s2.0-85075131409

Source Identifiers

ISSN: 18688969

Export Publication Metadata

Marked List

Info

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

Useful Links