Diagram Operators in a Logical Framework

Navid Roux

Computer Science M. Sc. Student

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