Logical Equivalence (for Nets with Unbounded m)

Let t, s, and b be fixed. Then the following statements are equivalent. For purely technical reasons they have to be included separately in MINT:

Copyright

Copyright © 2004, 2005, 2006, 2007, 2008, 2009, 2010 by Rudolf Schürer and Wolfgang Ch. Schmid.
Cite this as: Rudolf Schürer and Wolfgang Ch. Schmid. “Logical Equivalence (for Nets with Unbounded m).” From MinT—the database of optimal net, code, OA, and OOA parameters. Version: 2008-04-04. http://mint.sbg.ac.at/desc_SBoundLogicalEquivalence.html

Show usage of this method