Tamás Szeredi

Publication Activity (10 Years)

Years Active: 2002-2004
Publications (10 Years): 0

Publications

Dávid Hanák, Tamás Szeredi
FDBG, the CLP(FD) Debugger Library of SICStus Prolog. WLPE (2004)
Dávid Hanák, Tamás Szeredi, Péter Szeredi
FDBG, the CLPFD Debugger Library of SICStus Prolog. ICLP (2004)
Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson
Tracing and Explaining Execution of CLP(FD) Programs. WLPE (2002)