Diagram Operators

Research on concise specification and implementation of operators on diagrams of formalizations and their meta theory.

TODO: mention associated papers

Navid Roux
Navid Roux
Computer Science M. Sc. Student

Academically interested in formal systems for knowledge representation; recreationally in love with sports.

Related