Implementation of Subset-Equational Programs.

Bharat Jayaraman

Published in: J. Log. Program. (1992)

Keyphrases

theorem proving
high level language
machine learning
high level
programming language
theorem prover
computer programs
high level programming
data sets
databases
data mining
search algorithm
first order logic
hardware implementation
implementation issues
automatic programming