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

@article{JOT:issue_2026_03/a4, author = {<a href="/contents.html?query=Ficsor">Attila Ficsor</a> and <a href="/contents.html?query=Papp">Inez Anna Papp</a> and <a href="/contents.html?query=Marussy">Kristóf Marussy</a> and <a href="/contents.html?query=Semeráth">Oszkár Semeráth</a>}, title = {From Constraints to Commands: Graph Predicate Differentiation in 4-Valued First-Order Logic}, journal = {Journal of Object Technology}, volume = {25}, number = {3}, issn = {1660-1769}, year = {2026}, month = march, editor = {}, note = {ECMFA 2026 Journal First}, pages = {3:43-56}, doi = {10.5381/jot.2026.25.3.a4}, url = {http://www.jot.fm/contents/issue_2026_03/a4.html} }

Back