Relational Complexity and Higher Order Logics

DOI10.1007/978-3-319-30024-5_17zbMath1475.68112OpenAlexW2465090108MaRDI QIDQ2807086

Jose Maria Turull Torres

Publication date: 19 May 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-30024-5_17

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70) Higher-order logic (03B16)

This page was built for publication: Relational Complexity and Higher Order Logics