search result

Cover von Functorial Semantics for First-Order Theories

Functorial Semantics for First-Order Theories

Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0