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