![](/img/cover-not-exists.png)
The reachability problem for Petri nets and decision problems for Skolem arithmetic
Egon Börger, Hans Kleine BüningVolume:
11
Year:
1980
Language:
english
Pages:
21
DOI:
10.1016/0304-3975(80)90042-0
File:
PDF, 2.41 MB
english, 1980