Totality, Definability and Boolean Ciruits.

Antonio Bucciarelli Ivano Salvo

Published in: ICALP (1998)

Keyphrases

boolean functions
fixed point
real valued
propositional logic
artificial neural networks
three dimensional
boolean queries
image segmentation
objective function