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.

Authors

Flavio Ferrarotti

This author has not been identified. Look up 'Flavio Ferrarotti' in Google

Loredana Tec

This author has not been identified. Look up 'Loredana Tec' in Google

José Maria Turull Torres

This author has not been identified. Look up 'José Maria Turull Torres' in Google