(1 - 8 from 9
)
STACS '97: List of Accepted Papers
www.tcs.uni-luebeck.de
On the Descriptive and Algorithmic Power of Parity Ordered Binary Decision Diagrams Stephan Waack (Göttingen, Germany). A Conditional-Logical Approach to ...
sorted by relevance / date