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