Counting Environments and Closures

Tytuł rozdziału:

Tytuł książki:

3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)

Wydawnictwo:

Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Rok:

2018

Strony:

11:1-11:16

Tom (seria wydawnicza):

Leibniz International Proceedings in Informatics (LIPIcs)

Numer DOI:

10.4230/LIPIcs.FSCD.2018.11

Arkusze wydawnicze:

108

Link:

http://drops.dagstuhl.de/opus/volltexte/2018/9181