Predicate-Transformer Semantics of General Recursion.

Wim H. Hesselink

Published in: Acta Informatica (1989)

Keyphrases

special case
fuzzy logic
first order logic
complex objects
databases
social networks
decision making
power system
datalog programs
data sets
data mining
genetic algorithm
logic programming
fault diagnosis
formal semantics
highly expressive