Ádám Kurucz

According to our database, Ádám Kurucz authored at least 3 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Unification and anti-unification in applicative matching logic.

Ádám Kurucz, Péter Bereczky, Dániel Horpácsi

J. Log. Algebraic Methods Program., 2026

2025

On a Dependently Typed Encoding of Matching Logic.

Ádám Kurucz, Péter Bereczky, Dániel Horpácsi

Proceedings of the Proceedings 9th edition of Working Formal Methods Symposium, September, 2025

2024

Unification in Matching Logic - Revisited.

Ádám Kurucz, Péter Bereczky, Dániel Horpácsi

Proceedings of the Proceedings Eighth Symposium on Working Formal Methods, 2024