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