Spur/Ablehnungs-Semantik

Spur:

Ablehnung:

Ablehnungs-Semantik rej(P) Menge aller Paare von Spur und Ablehnungsmenge am Ende der jeweiligen Spur.



Johannes Waldmann 2011-06-29