ACM Transactions on Programming Languages and Systems (TOPLAS)
A source of inconsistency in theories of nondeterministic functions
Science of Computer Programming
Algebraic Methods for Optimization Problems
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Algebraic methods for optimization problems
Algebraic and coalgebraic methods in the mathematics of program construction
Terms with unbounded demonic and angelic nondeterminacy
Science of Computer Programming
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Investigating miraculous specifications
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |