The role of counting quantifiers in laminar set systems

Campbell, R. and Köhler, N. orcid.org/0000-0002-1023-6530 (Accepted: 2026) The role of counting quantifiers in laminar set systems. In: Proceedings of ICALP 2026. ICALP 2026, 07-10 Jul 2026, London, UK. . Leibniz International Proceedings in Informatics. (In Press)

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Accepted: 20 April 2026
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds)
Date Deposited: 10 Jun 2026 11:41
Last Modified: 10 Jun 2026 11:41
Status: In Press
Publisher: Leibniz International Proceedings in Informatics
Open Archives Initiative ID (OAI ID):

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Export

Statistics


CORE (COnnecting REpositories)