The following pages link to (Q3888505):
Displaying 6 items.
- On the Herbrand-Kleene universe for nondeterministic computations (Q1060011) (← links)
- R-fuzzy computation (Q1072368) (← links)
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- Rewriting with a nondeterministic choice operator (Q1096383) (← links)
- Whither semantics? (Q2286732) (← links)
- Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes (Q3774922) (← links)
