· Paul Kronlund Drouault
Truth by Construction
From Natural Language to Logic Machines Through Formal Constraints.
Tag: research-notes
· Paul Kronlund DrouaultCompleteability and Regular Expressions
Interesting challenges regarding two-level languages in Proposition 7