Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Roth, A., Sclager, S., Schmitt, P.H.: The KeY tool. Software and System Modeling (2004) (to appear)
2. Baader, F., Snyder, W.: Unification theory. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, ch. 8, vol. I, pp. 445–532. Elsevier Science, Amsterdam (2001)
3. Lecture Notes in Artificial Intelligence;P. Baumgartner,1998
4. Lecture Notes in Artificial Intelligence;P. Baumgartner,2000
5. Lecture Notes in Computer Science;P. Baumgartner,1996