Pinned Repositories
ALGO2020
Bhasa
Telegram BOT for UNIVR timetable
IngSwProject
Progetto JAVA per il corso di "Programmazione II e Ingegneria del software"
mvc2
Template for the final exercise with Spring
RagAuto
Implementare in un linguaggio di programmazione a scelta la procedura di decisione, basata su chiusura di congruenza, della soddisfacibilit`a di un insieme di letterali nel frammento senza quantificatori dell’unione delle teorie dell’uguaglianza, delle liste non vuote possibilmente cicliche, e degli array senza estensionalit`a. Si implementi l’algoritmo di chiusura di congruenza su grafo diretto aciclico, considerando le varianti viste in classe.
univrSummaries
A list of all my (and my friends) summaries
spatial-embedding
Eliander's Repositories
Eliander/univrSummaries
A list of all my (and my friends) summaries
Eliander/ALGO2020
Eliander/Bhasa
Telegram BOT for UNIVR timetable
Eliander/IngSwProject
Progetto JAVA per il corso di "Programmazione II e Ingegneria del software"
Eliander/mvc2
Template for the final exercise with Spring
Eliander/RagAuto
Implementare in un linguaggio di programmazione a scelta la procedura di decisione, basata su chiusura di congruenza, della soddisfacibilit`a di un insieme di letterali nel frammento senza quantificatori dell’unione delle teorie dell’uguaglianza, delle liste non vuote possibilmente cicliche, e degli array senza estensionalit`a. Si implementi l’algoritmo di chiusura di congruenza su grafo diretto aciclico, considerando le varianti viste in classe.