Author:
Niehren Joachim,Priesnitz Tim
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference29 articles.
1. Subtyping recursive types;Amadio;ACM Transactions on Programming Languages and Systems,1993
2. Unification in the union of disjoint equational theories: combining decision procedures;Baader;Journal of Symbolic Computation,1996
3. H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, M. Tommasi, Tree automata techniques and applications, October 1999. Available from http://www.grappa.univ-lille3.fr/tata
4. Unsolvability of positive ∀∃3-theory of free groups;Durnev;Sibirsky mathematichesky jurnal,1995
5. Sound polymorphic type inference for objects;Eifrig,1995
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献