rEVIEWS IN MR 82b: 03079, ZBL 453 #03013; MR 81h: 68034, ZBL 453 #03012.Previously published in Proc. of the 5th Scandinavian Logic Symposium}, Aalborg 1979, pp. 59 - 96 and Grundlagen der Mathematik und Informatik, RWTH Aachen, Hrg. W. Oberschelp, M. M. Richter, Nr. 2, Juli 1978, pp. 36
The reachability problem for Petri nets and decision problems for Skolem arithmetic
BORGER, EGON
1980-01-01
Abstract
rEVIEWS IN MR 82b: 03079, ZBL 453 #03013; MR 81h: 68034, ZBL 453 #03012.Previously published in Proc. of the 5th Scandinavian Logic Symposium}, Aalborg 1979, pp. 59 - 96 and Grundlagen der Mathematik und Informatik, RWTH Aachen, Hrg. W. Oberschelp, M. M. Richter, Nr. 2, Juli 1978, pp. 36File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
