Login / Signup

Enumerating teams in first-order team logics.

Anselm HaakArne MeierFabian MüllerHeribert Vollmer
Published in: Ann. Pure Appl. Log. (2022)
Keyphrases