Publisher
Springer Berlin Heidelberg
Reference56 articles.
1. Bénabou, J.: Structures algébriques dans les catégories. Cahiers de Topologie et Géometrie Différentielle 10, 1–126 (1968)
2. Lecture Notes in Computer Science,1991
3. Lecture Notes in Computer Science,2004
4. Bouhoula, A.: Using induction and rewriting to verify and complete parameterized specifications. Theor. Comput. Sci. 170(1-2), 245–276 (1996)
5. Bouhoula, A., Jouannaud, J.-P.: Automata-driven automated induction. Inf. Comput. 169(1), 1–22 (2001)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Lindström’s theorem, both syntax and semantics free;Journal of Logic and Computation;2021-12-13
2. Symbolic Computation in Maude: Some Tapas;Logic-Based Program Synthesis and Transformation;2021
3. Variant Satisfiability of Parameterized Strings;Rewriting Logic and Its Applications;2020
4. Variants in the Infinitary Unification Wonderland;Rewriting Logic and Its Applications;2020
5. Variant-Based Satisfiability in Initial Algebras;Communications in Computer and Information Science;2016