Counting Environments and Closures

Tytuł rozdziału:
Counting Environments and Closures
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