Ping Hou | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Nobuko Yoshida
29 publications
Marc Denecker
25 publications
Fangyi Zhou
5 publications
Johan Wittocx
3 publications
Adam D. Barwell
2 publications

research

∙ 05/10/2023

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures

Session types provide a typing discipline for message-passing systems. H...

0 Adam D. Barwell, et al. ∙

research

∙ 07/11/2012

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions

The logic FO(ID) uses ideas from the field of logic programming to exten...

0 Ping Hou, et al. ∙