Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases

Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres. Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases. In Atif Mashkoor, Qing Wang 0002, Bernhard Thalheim, editors, Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday. pages 92-121, College Publications, 2018.

Abstract

Abstract is missing.