activity
20072018
most citedA Characterisation of First-Order Constraint Satisfaction Problems

65 citations · 87 across the 14 of their papers we have counts for

collaborators
Showing 2009Show all

2 papers · 1 filter

math.CO2009★ 3 cited

Dualities and dual pairs in Heyting algebras

Jan Foniok, Jaroslav Nesetril, Ales Pultr +1

We extract the abstract core of finite homomorphism dualities using the techniques of Heyting algebras and (combinatorial) categories.

math.CO2009★ 3 cited

Interleaved adjoints on directed graphs

Jan Foniok, Jaroslav Nesetril, Claude Tardif

For an integer k >= 1, the k-th interlacing adjoint of a digraph G is the digraph i_k(G) with vertex-set V(G)^k, and arcs ((u_1, ..., u_k), (v_1, ..., v_k)) such that (u_i,v_i) \in…