Tamás Szeredi

According to our database, Tamás Szeredi authored at least 3 papers between 2002 and 2004.

Collaborative distances:

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

2004

FDBG, the CLP(FD) Debugger Library of SICStus Prolog.

Dávid Hanák, Tamás Szeredi

Proceedings of the 14th International Workshop on Logic Programming Environments, 2004

FDBG, the CLPFD Debugger Library of SICStus Prolog.

Dávid Hanák, Tamás Szeredi, Péter Szeredi

Proceedings of the Logic Programming, 20th International Conference, 2004

2002

Tracing and Explaining Execution of CLP(FD) Programs.

Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson

Proceedings of the 12th International Workshop on Logic Programming Environments, 2002