Multi-Buffer Simulations for Trace Language Inclusion.

Milka Hutagalung Norbert Hundeshagen Dietrich Kuske Martin Lange Étienne Lozes

Published in: GandALF (2016)

Keyphrases

programming language
language learning
natural language
database
real world
general purpose
first order logic
simulation model
replacement policy