George Peterka

According to our database, George Peterka authored at least 1 paper in 1989.

Collaborative distances:

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

1989

Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs.

George Peterka, Tadao Murata

IEEE Trans. Software Eng., 1989