Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference38 articles.
1. Reasoning algebraically about loops;Back;Acta Inform.,1999
2. Relational algebraic semantics of deterministic and nondeterministic programs;Berghammer;Theor. Comput. Sci.,1986
3. Extending Sledgehammer with SMT solvers;Blanchette,2011
4. Nitpick: a counterexample generator for higher-order logic based on a relational model finder;Blanchette,2010
5. Separation and reduction;Cohen,2000
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Relational characterisations of paths;Journal of Logical and Algebraic Methods in Programming;2020-12
2. Connecting Fixpoints of Computations with Strict Progress;Unifying Theories of Programming;2019