Alicia Villanueva | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat AI Photo Editor Math AI

Featured Co-authors

Bart Bogaerts
25 publications
Esra Erdem
21 publications
Fangkai Yang
19 publications
Germán Vidal
13 publications
Andrea Formisano
11 publications
Daniela Inclezan
9 publications
Paul Fodor
8 publications
Giovambattista Ianni
6 publications
Marina De Vos
6 publications
Marco Comini
1 publication
María del Mar Gallardo
1 publication

research

∙ 07/29/2022

Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022)

This volume constitutes the informal proceedings of the 32nd Internation...

0 Alicia Villanueva, et al. ∙

research

∙ 08/27/2021

A denotational semantics for PROMELA addressing arbitrary jumps

PROMELA (Process Meta Language) is a high-level specification language d...

0 Marco Comini, et al. ∙

research

∙ 09/17/2019

Proceedings 35th International Conference on Logic Programming (Technical Communications)

Since the first conference held in Marseille in 1982, ICLP has been the ...

0 Bart Bogaerts, et al. ∙