INESCTEC: Browsing DSpace

Browsing by Author 6181

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 5 of 5

Issue Date	Title	Author(s)
2019	An Adequate While-Language for Hybrid Computation	Renato Jorge Neves; Goncharov,S; 6181
2018	Generating the algebraic theory of C(X): The case of partially ordered compact spaces	Hofmann,D; Nora,P; Renato Jorge Neves; 6181
2018	Hierarchical Hybrid Logic	Renato Jorge Neves; Luís Soares Barbosa; Martins,MA; Alexandre Castro Madeira; 5603; 5620; 6181
2018	Languages and models for hybrid automata: A coalgebraic perspective	Luís Soares Barbosa; Renato Jorge Neves; 6181; 5603
2019	Limits in Categories of Vietoris Coalgebras	Nora,P; Hofmann,D; Renato Jorge Neves; 6181

Showing results 1 to 5 of 5