MTBDD

swMATH12873MaRDI QIDQ24797FDOQ24797

Author name not available (Why is that?)

Cited In (5)

• Nested antichains for WS1S
• A theoretical framework for cardinality-based feature models: the semantics and computational aspects
• VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata
• Symbolic tree automata
• Compositional entailment checking for a fragment of separation logic

This page was built for software: MTBDD