Pages that link to "Item:Q2347910"

From MaRDI portal

← Deciding Kleene algebra terms equivalence in Coq (Q2347910)

Jump to:navigation, search

The following pages link to Deciding Kleene algebra terms equivalence in Coq (Q2347910):

Displaying 3 items.

Regular language representations in the constructive type theory of Coq (Q1663246) (← links)
Manipulation of regular expressions using derivatives: an overview (Q2164731) (← links)
Deciding Regular Expressions (In-)Equivalence in Coq (Q2915138) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"