H. Kleine Büning

Identifiers

Open LibraryOL1015795A

Top Subjects

Petri nets (1)
Set theory (1)
Logic, Symbolic and mathematical (1)
Computer algorithms (1)
Computer logic (1)

Books by H. Kleine Büning

Total count: 2

Projections of vector addition system reachability sets are semilinear

Dept. of Computer Science, Stanford University1988-01-01
Propositional logicdeduction and algorithms

Cambridge University Press1999-01-01