![]() | ![]() |
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) |
1 | Clark W. Barrett (Clark Barrett) | [1] [2] |
2 | Cesare Tinelli | [1] [2] |