PTrie

swMATH35790MaRDI QIDQ51492FDOQ51492

Author name not available (Why is that?)

Described by source

• PTrie: data structure for compressing and storing sets via prefix sharing

Cited In (3)

• Automatic synthesis of transiently correct network updates via Petri games
• Stubborn versus structural reductions for Petri nets
• Title not available (Why is that?)

This page was built for software: PTrie