Publicações

AuthID
P-00N-ZSX

Author(s)

Editor(es)

Kirchner,H

Tipo de Documento

Proceedings Paper

Year published

2018

Publicado

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, Páginas: 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

Lista Marked

Info

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

Links Úteis