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

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. 36
Borger, Egon
File 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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11568/208510
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact