George Peterka

Publication Activity (10 Years)

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

Publications

George Peterka, Tadao Murata
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs. IEEE Trans. Software Eng. 15 (2) (1989)