A Logic for Expressions with Side-Effects.

Hans-Juergen Boehm

Published in: POPL (1982)

Keyphrases

facial expressions
logic programming
classical logic
natural language
multi valued
machine learning
multiscale
modal logic
mathematical expressions
neural network
asynchronous circuits
positive effects
computational properties
automated reasoning
expressive power
face recognition
clustering algorithm