archives

EPrints submitted by George Voutsadakis

Home

About

Browse

Search

Register

Subscriptions

Deposit Papers

Help

Click here to see user's record.

User has submitted 3 EPrints

Voutsadakis, George (2010) Categorical Abstract Algebraic Logic: Equivalence of Closure Systems. Technical Report, Department of Computer Science, Iowa State University.

Voutsadakis, George, Slutzki, Giora and Honavar, Vasant (2008) Secrecy-Preserving Reasoning Over Entailment Systems: Theory and Applications. Technical Report 1, Computer Science, Iowa State University.

Slutzki, Giora, Voutsadakis, George and Honavar, Vasant (2008) Secrecy-Preserving Reasoning using Secrecy Envelopes.

Contact site administrator at: ssg@cs.iastate.edu