Senén González

Available identifiers

zbMath Open gonzalez.senenMaRDI QIDQ1685918

List of research outcomes

Publication	Date of Publication	Type
Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data	2023-06-28	Paper
Systematic Refinement of Abstract State Machines with Higher-Order Logic	2023-03-10	Paper
ASM specification and refinement of a quantum algorithm	2022-03-22	Paper
Descriptive complexity of deterministic polylogarithmic time and space	2021-04-14	Paper
Proper hierarchies in polylogarithmic time and absence of complete problems	2020-10-26	Paper
Descriptive complexity of deterministic polylogarithmic time	2020-03-04	Paper
On fragments of higher order logics that on finite structures collapse to second order	2017-12-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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