Dyskusja:Relacja silnie konfluentna

Pomysł "cytowania źródeł" w tym kontekście to uparte forsowanie zasad bez chwili zastanowienia czy mają jakiś sens.

Google books podaje 467 trafień z książek.

Tu tylko kilka definicji z pierwszych dwóch stron wyników:

Handbook of process algebra

By J. A. Bergstra, Alban Ponse, Scott A. Smolka

FM 2009: Formal Methods: Second World Congress, Eindhoven, the Netherlands ...

By Ana Cavalcanti

Rewriting techniques and applications: 8th international conference, RTA-97 ...

By Hubert Comon

Term rewriting: French Spring School of Theoretical Computer Science, Font ...

By Hubert Comon, Jean-Pierre Jouannaud

Rewriting techniques and applications: 9th international ..., Volume 9

By Tobias Nipkow

Constraints in computational logics: first international conference, CCL '94 ...

By Jean-Pierre Jouannaud

Advanced topics in term rewriting

By Enno Ohlebusch

Deductive and Declarative Programming

By Peter Padawitz

Term rewriting systems

By J. W. Klop, Roel de Vrijer

Term Rewriting and All That

By Franz Baader, Tobias Nipkow

Ta lista jest oczywiście zupełnie bezużyteczna jako "źródło" - ani jedna osoba nie będzie specjalnie biegać po książkę do biblioteki żeby sprawdzić standardową definicję na kilka linijek - ale jeśli niektórzy czują nieodpartą potrzebę dopisywania bezużytecznych śmieci do każdego artykułu bo jakaś tam przeinterpretowana regułka tak wymaga to nie krępujcie się. Taw^<talk> 06:02, 15 mar 2011 (CET)