Logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence.

Pierre E. Mounier-Kuhn

Published in: HaPoC (2015)

Keyphrases

mathematical theory
databases
logic programming
formal language
modal logic
language learning
convergence rate
machine learning
iterative algorithms
operational semantics
computer science
formal model
deductive databases
formal specification
computational logic