Decidability of regular language genus computation.

Guillaume Bonfante Florian L. Deloup

Published in: Math. Struct. Comput. Sci. (2019)

Keyphrases

programming language
language learning
natural language
operational semantics
decision procedures
type checking
search engine
website
description logics
representation language
linguistic knowledge
english language
formal language
machine learning
query answering
computational linguistics