Representations lf Integers and Language Theory.

Aldo de Luca Antonio Restivo

Published in: MFCS (1984)

Keyphrases

formal theory
programming language
theoretical basis
natural language
formal languages
higher level
theoretical framework
database
machine learning
mathematical theory
specification language
general theory
proof theory
modeling language
video sequences
learning algorithm
neural network