M. Hack

Massachusetts Institute of Technology

2

h-index

2

Publications

179

Citations

Publications

2 shown

The equality problem for vector addition systems is undecidable

M. Hack

1976 Theoretical Computer Science 117 citations

The recursive equivalence of the reachability problem and the liveness problem for Petri nets and vector addition systems

M. Hack

1974 62 citations

Researcher Info

h-index: 2
Publications: 2
Citations: 179
Institution: Massachusetts Institute of Technology

External Links

Google Scholar

Impact Metrics

h-index 2

h-index: Number of publications with at least h citations each.