Jan Sebelík

According to our database, Jan Sebelík authored at least 2 papers in 1982.

Collaborative distances:

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

1982

Horn clause programs and recursive functions defined by systems of equations.

Jan Sebelík

Kybernetika, 1982

Graphs as Data in Prolog Programs.

Jan Sebelík, Petr Stepánek

Proceedings of the First International Logic Programming Conference, 1982