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.

@inproceedings{FerrarottiTT18,
  title = {Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases},
  author = {Flavio Ferrarotti and Loredana Tec and José Maria Turull Torres},
  year = {2018},
  researchr = {https://researchr.org/publication/FerrarottiTT18},
  cites = {0},
  citedby = {0},
  pages = {92-121},
  booktitle = {Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday},
  editor = {Atif Mashkoor and Qing Wang 0002 and Bernhard Thalheim},
  publisher = {College Publications},
  isbn = {978-1-84890-276-3},
}