· Paul Kronlund Drouault
Completeability and Regular Expressions
Interesting challenges regarding two-level languages in Proposition 7
Research Log
Unsuspicious Industries
· Paul Kronlund DrouaultTruth by Construction
From Natural Language to Logic Machines Through Formal Constraints.