Pages that link to "Item:Q5881272"
From MaRDI portal
The following pages link to Testing confluence of nonterminating rewriting systems (Q5881272):
Displaying 6 items.
- A reduction-preserving completion for proving confluence of non-terminating term rewriting systems (Q2881099) (← links)
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (Q3434606) (← links)
- Semantic confluence tests and completion methods (Q3732980) (← links)
- Streaming Property Testing of Visibly Pushdown Languages * (Q4606314) (← links)
- Fundamental Approaches to Software Engineering (Q5316435) (← links)
- Infinite terms and infinite rewritings (Q5881271) (← links)