Eric Ufferman

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Eric Ufferman, Pedro Arturo Góngora, Francisco Hernández Quiroz
A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite pi-Calculus Processes. Advances in Modal Logic (2010)
Pedro Arturo Góngora, Eric Ufferman, Francisco Hernández Quiroz
-Calculus Processes. CLIMA (2010)
Jennifer Chubb, Valentina S. Harizanov, Andrei S. Morozov, Sarah Pingrey, Eric Ufferman
Partial automorphism semigroups. Ann. Pure Appl. Log. 156 (2-3) (2008)