Springen naar inhoud

[wiskunde] term herschrijf systemen


  • Log in om te kunnen reageren

#1

Wiskunde

    Wiskunde


  • >100 berichten
  • 110 berichten
  • Ervaren gebruiker

Geplaatst op 16 februari 2009 - 19:59

Ik moet bewijzen dat als een reductie confluent is deze dan automatisch de Church-Rosser eigenschap bezit. Is er iemand met deze stof bekend? Hoe pak ik dit aan?

Dit forum kan gratis blijven vanwege banners als deze. Door te registeren zal de onderstaande banner overigens verdwijnen.




0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures