Seif Haridi | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Peter Van Roy
7 publications
Paris Carbone
3 publications
Lars Kroll
1 publication

research

∙ 02/01/2023

Ideas for the future of Prolog inspired by Oz

Both Prolog and Oz are multiparadigm languages with a logic programming ...

0 Peter Van Roy, et al. ∙

research

∙ 08/31/2020

Lecture Notes on Leader-based Sequence Paxos – An Understandable Sequence Consensus Algorithm

Agreement among a set of processes and in the presence of partial failur...

0 Seif Haridi, et al. ∙