Igor Shikanian

List of publications from the DBLP Bibliography Server - FAQ

2007

2 EE Clark Barrett, Igor Shikanian, Cesare Tinelli: An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types. Electr. Notes Theor. Comput. Sci. 174(8): 23-37 (2007)

1 EE Clark Barrett, Igor Shikanian, Cesare Tinelli: An Abstract Decision Procedure for a Theory of Inductive Data Types. JSAT 3(1-2): 21-46 (2007)

2007
2	EE	Clark Barrett, Igor Shikanian, Cesare Tinelli: An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types. Electr. Notes Theor. Comput. Sci. 174(8): 23-37 (2007)
1	EE	Clark Barrett, Igor Shikanian, Cesare Tinelli: An Abstract Decision Procedure for a Theory of Inductive Data Types. JSAT 3(1-2): 21-46 (2007)

Coauthor Index

1	Clark W. Barrett (Clark Barrett)	[1] [2]
2	Cesare Tinelli	[1] [2]