Random triples
Subject | Object |
---|---|
gptkb:nondeterministic_Muller_automaton | gptkb:Muller_acceptance_condition |
gptkb:Parity_automaton | Parity condition |
Subject | Object |
---|---|
gptkb:nondeterministic_Muller_automaton | gptkb:Muller_acceptance_condition |
gptkb:Parity_automaton | Parity condition |