PDCoq

swMATH10337MaRDI QIDQ22298FDOQ22298

Author name not available (Why is that?)

Cited In (2)

• Deciding Regular Expressions (In-)Equivalence in Coq
• Deciding Kleene algebra terms equivalence in Coq

This page was built for software: PDCoq