Igor Shikanian

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Clark W. Barrett, Igor Shikanian, Cesare Tinelli
An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types. Electron. Notes Theor. Comput. Sci. 174 (8) (2007)
Clark W. Barrett, Igor Shikanian, Cesare Tinelli
An Abstract Decision Procedure for a Theory of Inductive Data Types. J. Satisf. Boolean Model. Comput. 3 (1-2) (2007)
Sergey Berezin, Clark W. Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill
A Practical Approach to Partial Functions in CVC Lite. Electron. Notes Theor. Comput. Sci. 125 (3) (2005)