Login / Signup

A Superposition Decision Procedure for the Guarded Fragment with Equality.

Harald GanzingerHans de Nivelle
Published in: LICS (1999)
Keyphrases
  • decision making
  • decision makers
  • first order logic
  • relational databases
  • expressive power