Skip to content

GitLab

Explore

Sign in

Ondra Lengál
libvata-tree-congr

L

libvata-tree-congr

Project information

An extension of libvata using bisimulation up-to congruence to check language inclusion of tree automata

Created on

March 05, 2018

All
Wiki
Team