"On Computing the Measures of First-Order Definable Sets of Trees."

Marcin Przybylko (2018)

Details and statistics

DOI: 10.4204/EPTCS.277.15

access: open

type: Conference or Workshop Paper

metadata version: 2018-10-11

a service of  Schloss Dagstuhl - Leibniz Center for Informatics