Senén González

From MaRDI portal
Person:1685918

Available identifiers

zbMath Open gonzalez.senenMaRDI QIDQ1685918

List of research outcomes





PublicationDate of PublicationType
Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data2023-06-28Paper
Systematic Refinement of Abstract State Machines with Higher-Order Logic2023-03-10Paper
ASM specification and refinement of a quantum algorithm2022-03-22Paper
Descriptive complexity of deterministic polylogarithmic time and space2021-04-14Paper
Proper hierarchies in polylogarithmic time and absence of complete problems2020-10-26Paper
Descriptive complexity of deterministic polylogarithmic time2020-03-04Paper
On fragments of higher order logics that on finite structures collapse to second order2017-12-20Paper

Research outcomes over time

This page was built for person: Senén González

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1685918&oldid=11116833"
Powered by MediaWiki