Skip to content

Extending the WMSO+U Logic with Quantification over Tuples.

Anita Badyl, Pawel Parys

VenueBCSL
Year2024
ProceedingsCSL

Browse the full CSL paper archive.