Bibtex

Attila Ficsor, Inez Anna Papp, Kristóf Marussy, Oszkár Semeráth, From Constraints to Commands: Graph Predicate Differentiation in 4-Valued First-Order Logic

Back