Coinductive Proof Techniques for Language Equivalence.

Jurriaan Rot Marcello M. Bonsangue Jan J. M. M. Rutten

Published in: LATA (2013)

Keyphrases

programming language
natural language
language learning
representation language
proof theory
databases
machine learning
website
theorem prover
language processing
computational linguistics
specification language