Forets de Greibach et homomorphismes inverses.

André Arnold Bernard Leguy

Published in: FCT (1979)

Keyphrases

sufficient conditions
special case
schema mappings
artificial intelligence
high level
domain knowledge
knowledge representation