criterion

swMATH13658MaRDI QIDQ25572FDOQ25572

Author name not available (Why is that?)

Cited In (4)

• Handlers in action
• Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
• Efficient parallel and incremental parsing of practical context-free languages
• Generic multiset programming with discrimination-based joins and symbolic Cartesian products

This page was built for software: criterion