Alexander Baumgartner

Research Area

Symbolic Computation Techniques for Unranked Terms (SToUT project)