Author:
Becker Heiko,Blanchette Jasmin Christian,Waldmann Uwe,Wand Daniel
Publisher
Springer International Publishing
Reference51 articles.
1. Andrews, P.B., Cohen, E.L.: Theorem proving in type theory. In: Reddy, R. (ed.) IJCAI 1977, p. 566. William Kaufmann (1977)
2. Lecture Notes in Computer Science;T Aoto,2003
3. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
4. Backes, J., Brown, C.E.: Analytic tableaux for higher-order logic with choice. J. Autom. Reasoning 47(4), 451–479 (2011)
5. Banâtre, J.-P., Fradet, P., Radenac, Y.: Generalised multisets for chemical programming. Math. Struct. Comput. Sci. 16(4), 557–580 (2006)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献