Proving language inclusion and equivalence by coinduction.

Jurriaan Rot Marcello M. Bonsangue Jan Rutten

Published in: Inf. Comput. (2016)

Keyphrases

natural language
language learning
programming language
declarative language
database
modeling language
formal language
neural network
information systems
high level
search algorithm
general purpose
language processing
english language