TravMC2

swMATH20008MaRDI QIDQ31831FDOQ31831

Author name not available (Why is that?)

Cited In (5)

• Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems
• Title not available (Why is that?)
• Automatically disproving fair termination of higher-order functional programs
• Recursion Schemes and the WMSO+U Logic
• Streett Automata Model Checking of Higher-Order Recursion Schemes

This page was built for software: TravMC2