Login / Signup

Modeling Fresh Names in the ?-calculus Using Abstractions.

Roberto BruniFurio HonsellMarina LenisaMarino Miculan
Published in: CMCS (2004)
Keyphrases
  • relational databases
  • automated deduction
  • databases
  • artificial intelligence
  • decision making