Treffer 1 - 3 von 3 für Suche 'Porat, Sara', Suchdauer: 0,71s
Treffer weiter einschränken
-
1
Full-commutation and fair-termination in equational (and combined) term-rewriting systems von Porat, Sara
Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2
Fairness in context-free grammars under canonical derivations von Porat, Sara, Francez, Nissim
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3
Fairness in term rewriting systems von Porat, Sara, Francez, Nissim
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …