search result

Cover von Algorithmically Efficient Syntactic Characterization of Possibility Domains

Algorithmically Efficient Syntactic Characterization of Possibility Domains

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0