Subject
General Computer Science,Theoretical Computer Science
Reference58 articles.
1. Module algebra;Bergstra;J. Assoc. Comput. Mach.,1990
2. Equational specifications, complete rewriting systems, and computable and semicomputable algebras;Bergstra;J. Assoc. Comput. Mach.,1995
3. Observational specifications and the indistinguishability assumption;Bernot;Theoret. Comput. Sci.,1995
4. N. Berregeb, A. Bouhoula, M. Rusinowitch, Observational proofs with critical contexts, in: Proc. FASE'98, Lecture Notes in Computer Science, Vol. 1382, Springer, Berlin, 1998.
5. M. Bidoit, R. Hennicker, Proving behavioural theorems with standard first-order logic, in: Algebraic and Logic Programming (ALP'94), Lecture Notes in Computer Science, Vol. 850, 1994, pp. 41–58.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献