Finite Model Theory and Its Applications

Name: Finite Model Theory and Its Applications
Author: Erich Grädel

Cover of Finite Model Theory and Its Applications

No description available.

Logic designSymbolic and mathematical LogicComputer scienceSoftware engineeringDatabase managementModel theoryFinite model theoryComputational complexityConstraint databases