Renato Neves

Available identifiers

zbMath Open neves.renatoMaRDI QIDQ1786566

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6124947	2024-04-10	Paper
The syntactic side of autonomous categories enriched over generalised metric spaces	2024-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q5009436	2021-08-04	Paper
Implementing hybrid semantics: from functional to imperative	2021-07-08	Paper
Asymmetric Combination of Logics is Functorial: A Survey	2020-01-16	Paper
Hierarchical hybrid logic	2019-11-12	Paper
Limits in categories of Vietoris coalgebras	2019-03-12	Paper
Languages and models for hybrid automata: a coalgebraic perspective	2018-09-24	Paper
Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces	2018-06-07	Paper
Hybrid Automata as Coalgebras	2016-12-21	Paper
Continuity as a computational effect	2016-12-15	Paper
An exercise on the generation of many-valued dynamic logics	2016-12-15	Paper
A Dynamic Logic for Every Season	2016-04-01	Paper
Completeness and Decidability Results for Hybrid(ised) Logics	2016-04-01	Paper
Hybridisation at Work	2013-09-13	Paper
A Complete V-Equational System for Graded lambda-Calculus	N/A	Paper

Research outcomes over time

This page was built for person: Renato Neves