Author:
Schmitt Peter H.,Ulbrich Mattias
Publisher
Springer International Publishing
Reference11 articles.
1. Lecture Notes in Artificial Intelligence,2007
2. Bobot, F., Conchon, S., Contejean, E., Lescuyer, S.: Implementing polymorphism in smt solvers. In: Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning, SMT 2008/BPR 2008, pp. 1–5. ACM, New York (2008)
3. Bobot, F., Paskevich, A.: Expressing Polymorphic Types in a Many-Sorted Language. In: Tinelli and Sofronie-Stokkermans [9], pp. 87–102
4. Lecture Notes in Computer Science,2010
5. Gallier, J.H.: Logic for Computer Science: Foundations of Automatic Theorem Proving. Wiley (1987)