Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference42 articles.
1. Reasoning algebraically about loops;Back;Acta Inform.,1999
2. Semantics and termination of nondeterministic recursive programs;de Bakker,1976
3. Relational algebraic semantics of deterministic and nondeterministic programs;Berghammer;Theor. Comput. Sci.,1986
4. Lattice Theory;Birkhoff,1967
5. Extending Sledgehammer with SMT solvers;Blanchette,2011
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algorithmics;IFIP Advances in Information and Communication Technology;2021
2. Connecting Fixpoints of Computations with Strict Progress;Unifying Theories of Programming;2019
3. An algebraic approach to computations with progress;Journal of Logical and Algebraic Methods in Programming;2016-06
4. Schedulers and Finishers: On Generating the Behaviours of an Event Structure;Theoretical Aspects of Computing – ICTAC 2016;2016