Neves, Renato
- Compositional semantics for new paradigms: probabilistic, hybrid and beyond
2018/04/11 by Fredrik Dahlqvist, Renato Neves, Dahlqvist, Fredrik +1 · 2 citations
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Natural Language Processing Techniques #Semantic Web and Ontologies
- An Adequate While-Language for Hybrid Computation
2019/02/20 by Goncharov, Sergey, Neves, Renato · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Implementing Hybrid Semantics: From Functional to Imperative
2020/09/29 by Goncharov, Sergey, Neves, Renato, Proença, José · 1 citation
#03B70 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)