Filtros de búsqueda

Verification of Unary Communicating Datalog Programs

Imagen Imagen de una obra genérica. El texto sobre ella indica que no hay disponible una imagen libre de la obra, y que si posees una, puedes hacer clic en el enlace del cartel para subirla.
Descripción artículo científico publicado en 2024
Autoría

autor: Marco Montali  Diego Calvanese 

Fecha de publicación 10 de mayo de 2024
Idioma inglés
País de origen
Enlace a Wikipedia
Estatus de derecho de autor Private domain
¿Datos faltantes/errados? Editar ítem de Wikidata