Found: 4
Select item for more details and to access through your institution.
A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams.
- Published in:
- Theory of Computing Systems, 1997, v. 30, n. 5, p. 495, doi. 10.1007/BF02679459
- By:
- Publication type:
- Article
Deciding a Class of Path Formulas for Conflict-Free Petri Nets.
- Published in:
- Theory of Computing Systems, 1997, v. 30, n. 5, p. 475, doi. 10.1007/s002240000063
- By:
- Publication type:
- Article
The Use of a Synchronizer Yields the Maximum Computation Rate in Distributed Networks.
- Published in:
- Theory of Computing Systems, 1997, v. 30, n. 5, p. 447, doi. 10.1007/s002240000062
- By:
- Publication type:
- Article
Editorial.
- Published in:
- 1997
- By:
- Publication type:
- Editorial