Relational semantics for locally nondeterministic programs
New Generation Computing1997Vol. 15(3), pp. 339–361
Citations Over Time
Related Papers
- → A complete monotonicity property of the gamma function(2004)186 cited
- → Monotonicity and complete monotonicity of some functions involving the modified Bessel functions of the second kind(2023)12 cited
- → The relation between non-bossiness and monotonicity(2009)6 cited
- → Complexity of Nondeterministic Multitape Computations Based on Crossing Sequences(2011)
- → On the Power of Nondeterministic Circuits and Co-Nondeterministic Circuits(2021)