Jan Sebelík

Publication Activity (10 Years)

Years Active: 1982-1982
Publications (10 Years): 0

Publications

Jan Sebelík
Horn clause programs and recursive functions defined by systems of equations. Kybernetika 18 (2) (1982)
Jan Sebelík, Petr Stepánek
Graphs as Data in Prolog Programs. ICLP (1982)