Tags

13 tags in total

data structures ² de Bruijn indices ¹ finite sets ¹ free algebraic structures ³ free idempotent commutative monoid ¹ fresh lists ² introductory ³ modal mu-calculus ² model checking ¹ partial monoids ¹ rational data structures ¹ sorted list ¹ temporal logic ¹