251:
206:
257:
262:
38:
90:
948:{{Information |Description={{en|1=Definition of confluence : given a and two rewritings b and c, there exists two sequences of rewriting leading to d}} {{fr|1=Condition de confluence : etant donné a et deux réécritures vers b et c, il existe des rééc
931:
316:– You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
223:
221:; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled
213:
764:
642:
606:
589:
572:
555:
538:
502:
967:
323:
859:
822:
785:
730:
696:
626:
486:
460:
445:
430:
218:
144:
Definition of confluence : given a and two rewritings b and c, there exists two sequences of rewriting leading to d
757:
662:
522:
403:
386:
962:
64:
60:
452:
56:
52:
48:
42:
285:
281:
277:
273:
152:
Condition de confluence : etant donné a et deux réécritures vers b et c, il existe des réécritures vers d
958:
The following pages on the
English Knowledge (XXG) use this file (pages on other projects are not listed):
101:
322:– If you remix, transform, or build upon the material, you must distribute your contributions under the
73:
995:
269:
941:
109:
437:
200:
211:
Permission is granted to copy, distribute and/or modify this document under the terms of the
1005:
197:
I, the copyright holder of this work, hereby publish it under the following licenses:
96:
930:
925:
37:
181:
161:
985:
898:
Click on a date/time to view the file as it appeared at that time.
84:
370:
Add a one-line explanation of what this file represents
78:(SVG file, nominally 369 × 333 pixels, file size: 3 KB)
590:
539:
Creative
Commons Attribution-ShareAlike 3.0 Unported
217:, Version 1.2 or any later version published by the
128:
108:
Commons is a freely licensed media file repository.
607:
Creative
Commons Attribution-ShareAlike 2.0 Generic
573:
Creative
Commons Attribution-ShareAlike 1.0 Generic
556:
Creative
Commons Attribution-ShareAlike 2.5 Generic
333:https://creativecommons.org/licenses/by-sa/3.0
89:
339:Creative Commons Attribution-Share Alike 3.0
250:
8:
438:https://commons.wikimedia.org/user:Kilom691
299:– to copy, distribute and transmit the work
41:Size of this PNG preview of this SVG file:
900:
366:
351:You may select the license of your choice.
978:The following other wikis use this file:
746:20994712efacd65ed47ac0d547f87d14377cfeea
960:
873:
857:
836:
820:
799:
783:
744:
728:
710:
694:
676:
660:
640:
624:
604:
587:
570:
553:
536:
520:
500:
484:
417:
401:
384:
381:
362:
355:
7:
229:http://www.gnu.org/copyleft/fdl.html
889:
261:
256:
375:
369:
350:
247:
196:
146:
138:
121:
71:
374:
360:
310:Under the following conditions:
268:This file is licensed under the
260:
255:
249:
205:
204:
88:
31:
21:
968:Confluence (abstract rewriting)
357:
139:
14:
356:
235:GNU Free Documentation License
224:GNU Free Documentation License
214:GNU Free Documentation License
147:
26:
1:
643:original creation by uploader
382:Items portrayed in this file
1024:
1002:Usage on vi.wikipedia.org
992:Usage on ko.wikipedia.org
982:Usage on ja.wikipedia.org
324:same or compatible license
890:
171:
16:
359:
290:
272:Attribution-Share Alike
219:Free Software Foundation
95:This is a file from the
947:
177:
167:
160:
157:
131:
99:. Information from its
102:description page there
1006:Định lý Church–Rosser
963:Church–Rosser theorem
926:20:09, 7 January 2009
758:determination method
65:2,269 × 2,048 pixels
61:1,135 × 1,024 pixels
305:– to adapt the work
47:Other resolutions:
461:author name string
446:Wikimedia username
974:Global file usage
951:
523:copyright license
368:
246:
245:
187:
186:
117:
116:
97:Wikimedia Commons
32:Global file usage
1015:
938:
878:
841:
804:
767:
762:
487:copyright status
468:
465:
455:
450:
440:
435:
346:
343:
340:
337:
334:
326:as the original.
270:Creative Commons
264:
263:
259:
258:
253:
252:
242:
239:
236:
233:
230:
208:
207:
201:
173:
163:
151:
149:Français :
143:
135:
129:
113:
92:
91:
85:
79:
68:
57:851 × 768 pixels
53:532 × 480 pixels
49:266 × 240 pixels
43:369 × 333 pixels
1023:
1022:
1018:
1017:
1016:
1014:
1013:
1012:
972:
959:
952:
944:
936:
892:
891:
888:
887:
886:
885:
884:
883:
882:
881:
879:
876:
866:
865:
864:
862:
851:
850:
849:
848:
847:
846:
845:
844:
842:
839:
829:
828:
827:
825:
814:
813:
812:
811:
810:
809:
808:
807:
805:
802:
792:
791:
790:
788:
777:
776:
775:
774:
773:
772:
771:
770:
769:
768:
763:
760:
751:
750:
749:
747:
737:
736:
735:
733:
722:
721:
720:
719:
718:
717:
716:
715:
713:
703:
702:
701:
699:
688:
687:
686:
685:
684:
683:
682:
681:
679:
669:
668:
667:
665:
654:
653:
652:
651:
650:
649:
648:
647:
645:
633:
632:
631:
629:
618:
617:
616:
615:
614:
613:
612:
611:
609:
598:
597:
596:
595:
594:
592:
581:
580:
579:
578:
577:
575:
564:
563:
562:
561:
560:
558:
547:
546:
545:
544:
543:
541:
529:
528:
527:
525:
514:
513:
512:
511:
510:
509:
508:
507:
505:
493:
492:
491:
489:
478:
477:
476:
475:
474:
473:
472:
471:
470:
469:
466:
463:
457:
456:
451:
448:
442:
441:
436:
433:
424:
423:
422:
420:
410:
409:
408:
406:
395:
394:
393:
392:
391:
389:
373:
372:
371:
354:
353:
352:
348:
347:
344:
341:
338:
335:
332:
331:
289:
265:
240:
237:
234:
231:
228:
199:
198:
193:
188:
153:
145:
133:
126:
119:
118:
107:
106:
105:is shown below.
81:
77:
70:
69:
46:
12:
11:
5:
1021:
1019:
1011:
1010:
1009:
1008:
1000:
999:
998:
990:
989:
988:
976:
975:
971:
970:
965:
957:
956:
955:
950:
949:
946:
942:
939:
933:
928:
923:
919:
918:
915:
912:
909:
906:
903:
896:
895:
880:
874:
872:
871:
870:
869:
868:
867:
863:
858:
856:
855:
854:
853:
852:
843:
837:
835:
834:
833:
832:
831:
830:
826:
821:
819:
818:
817:
816:
815:
806:
800:
798:
797:
796:
795:
794:
793:
789:
784:
782:
781:
780:
779:
778:
756:
755:
754:
753:
752:
748:
745:
743:
742:
741:
740:
739:
738:
734:
729:
727:
726:
725:
724:
723:
714:
711:
709:
708:
707:
706:
705:
704:
700:
695:
693:
692:
691:
690:
689:
680:
677:
675:
674:
673:
672:
671:
670:
666:
661:
659:
658:
657:
656:
655:
646:
641:
639:
638:
637:
636:
635:
634:
630:
627:source of file
625:
623:
622:
621:
620:
619:
610:
605:
603:
602:
601:
600:
599:
593:
588:
586:
585:
584:
583:
582:
576:
571:
569:
568:
567:
566:
565:
559:
554:
552:
551:
550:
549:
548:
542:
537:
535:
534:
533:
532:
531:
530:
526:
521:
519:
518:
517:
516:
515:
506:
501:
499:
498:
497:
496:
495:
494:
490:
485:
483:
482:
481:
480:
479:
459:
458:
444:
443:
429:
428:
427:
426:
425:
421:
418:
416:
415:
414:
413:
412:
411:
407:
402:
400:
399:
398:
397:
396:
390:
385:
383:
380:
379:
378:
377:
376:
365:
364:
361:
358:
349:
330:
329:
328:
327:
317:
308:
307:
306:
300:
293:You are free:
267:
266:
248:
244:
243:
209:
195:
194:
192:
189:
185:
184:
179:
175:
174:
169:
165:
164:
159:
155:
154:
136:
134:Confluence.svg
127:
125:
122:
120:
115:
114:
93:
83:
82:
40:
36:
35:
34:
29:
24:
19:
13:
10:
9:
6:
4:
3:
2:
1020:
1007:
1004:
1003:
1001:
997:
994:
993:
991:
987:
984:
983:
981:
980:
979:
973:
969:
966:
964:
961:
953:
945:
940:
934:
932:
929:
927:
924:
921:
920:
916:
913:
910:
907:
904:
902:
901:
899:
893:
861:
824:
787:
766:
759:
732:
712:image/svg+xml
698:
664:
644:
628:
608:
591:
574:
557:
540:
524:
504:
488:
462:
454:
447:
439:
432:
405:
388:
336:CC BY-SA 3.0
325:
321:
318:
315:
312:
311:
309:
304:
301:
298:
295:
294:
292:
291:
287:
283:
279:
275:
271:
254:
226:
225:
220:
216:
215:
210:
203:
202:
190:
183:
180:
176:
170:
166:
156:
150:
142:
137:
130:
123:
111:
104:
103:
98:
94:
87:
86:
80:
75:
74:Original file
66:
62:
58:
54:
50:
44:
39:
33:
30:
28:
25:
23:
20:
18:
15:
977:
897:
894:File history
319:
313:
302:
296:
274:3.0 Unported
222:
212:
148:
140:
110:You can help
100:
72:
22:File history
503:copyrighted
320:share alike
314:attribution
286:1.0 Generic
282:2.0 Generic
278:2.5 Generic
132:Description
954:File usage
935:369 × 333
911:Dimensions
697:media type
419:some value
27:File usage
908:Thumbnail
905:Date/Time
786:data size
663:inception
191:Licensing
141:English:
996:처치-로서 정리
943:Kilom691
731:checksum
467:Kilom691
453:Kilom691
363:Captions
303:to remix
297:to share
288:license.
182:Kilom691
172:Own work
922:current
917:Comment
404:creator
387:depicts
367:English
124:Summary
76:
937:(3 KB)
823:height
801:2,794
178:Author
168:Source
877:pixel
860:width
840:pixel
765:SHA-1
914:User
875:369
838:333
803:byte
678:2009
345:true
342:true
284:and
241:true
238:true
232:GFDL
162:2009
158:Date
17:File
986:合流性
431:URL
761::
464::
449::
434::
280:,
276:,
63:|
59:|
55:|
51:|
45:.
227:.
112:.
67:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.