Skip to content
GitLab
Explore
Sign in
Raphaël Cauderlier
Sigmaid
Repository
sigmaid
Makefile
Find file
Blame
History
Permalink
[Dk] From dom/assoc to a ternary position relation
· e5062e21
Raphaël Cauderlier
authored
Mar 20, 2016
Decidability is replacedby a non-confluent non-linear rewrite-system
e5062e21