Eric Ufferman

According to our database, Eric Ufferman authored at least 3 papers between 2008 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of <i>pi</i>-Calculus Processes.

Pedro Arturo Góngora, Eric Ufferman, Francisco Hernández Quiroz

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite pi-Calculus Processes.

Eric Ufferman, Pedro Arturo Góngora, Francisco Hernández Quiroz

Proceedings of the Advances in Modal Logic 8, 2010

2008

Partial automorphism semigroups.

Jennifer Chubb, Valentina S. Harizanov, Andrei S. Morozov, Sarah Pingrey, Eric Ufferman

Ann. Pure Appl. Log., 2008