Articles matching “Marussy”

  1. 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, pp. 3:43-56, PDF, DOI. Volume 25, no. 3 ( 2026)
  2. Kristóf Marussy, Oszkár Semeráth, Aren A. Babikian, Dániel Varró, A Specification Language for Consistent Model Generation based on Partial Models, pp. 3:1-22, PDF, DOI. Volume 19, no. 3 (October 2020)