Publications

AuthID
P-00N-22G

Author(s)

Editor(s)

Valentin Goranko; Mads Dam

Document Type

Proceedings Paper

Year published

2017

Published

in 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden in LIPIcs

Volume: 82, Pages: 29:1-29:24

Indexing

Publication Identifiers

Dblp: conf/csl/HeerdtS017

Export Publication Metadata

Marked List

Info

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

Useful Links