Decidability of regular language genus computation.

Guillaume Bonfante Florian L. Deloup

Published in: CoRR (2015)

Keyphrases

programming language
type checking
natural language
language learning
query answering
context free
data sets
language processing
specification language
english language
regular languages
databases
query language
logic programs
data model
object oriented programming
operational semantics
decision procedures
website