Author:
Höfner Peter,Struth Georg,Sutcliffe Geoff
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference45 articles.
1. Bachmair, L., Ganzinger, H.: Ordered chaining calculi for first-order theories of transitive relations. J. ACM 45(6), 1007–1049 (1998)
2. Lecture Notes in Computer Science;R-J Back,1989
3. Graduate Texts in Computer Science;R-J Back,1998
4. Back, R.-J., von Wright, J.: Reasoning algebraically about loops. Acta Inform. 36(4), 295–334 (1999)
5. Claessen, K.: Equinox, A New Theorem Prover for Full First-Order Logic with Equality (2005)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An algebraic approach to computations with progress;Journal of Logical and Algebraic Methods in Programming;2016-06
2. Algebras for Program Correctness in Isabelle/HOL;Relational and Algebraic Methods in Computer Science;2014
3. Dual Choice and Iteration in an Abstract Algebra of Action;Studia Logica;2012-06
4. Algebraic separation logic;The Journal of Logic and Algebraic Programming;2011-08
5. Internal axioms for domain semirings;Science of Computer Programming;2011-03