First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words

von Adsul, Bharat
Veröffentlicht in FCT (23. : 2021 : Online) Fundamentals of computation theory (2021)