George Peterka

List of publications from the DBLP Bibliography Server - FAQ

1989

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

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

Coauthor Index