Complexity of two-variable dependence logic and IF-logicOpen Website

Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema

Published: 01 Jan 2014, Last Modified: 12 Feb 2024Inf. Comput. 2014Readers: Everyone
0 Replies