First-Order Identities as a Defining Language.

Published in: Acta Informatica (1980)

Keyphrases

language learning
programming language
higher order
natural language
specification language
conditional logic
language processing
data sets
databases
conceptual graphs
object oriented programming
computational linguistics
predicate calculus
quantifier elimination
quantifier free