Sequent Calculi for 'Generally'.

Leonardo B. Vana Paulo A. S. Veloso Sheila R. M. Veloso

Published in: LSFA (2007)

Keyphrases

sequent calculi
artificial intelligence
high level
general purpose
object oriented
software engineering
similarity search