equivalence-relations

There are 0 repository under equivalence-relations topic.

• marcospassos / phpcommon-comparison

  PHP 5.4+ library to represent equivalence relations and strategies for hashing and sorting values.

  phpphp-libraryequivalence-relationscompare-valueshashcodecomparisonequalitysorting-values
  Language:PHP 8

• benkeks / equivalence-fiddle

  Tool for finding the best ways of equating / preordering / distinguishing finite process models.

  equivalence-checkerequivalence-relationsmodel-checkingsystem-analysishennessy-milner-logic
  Language:Scala 3

• AlejandraTM / DiscreteMaths-KL

  Curso de Matemáticas Discretas. Dictado en la Fundación Universitaria Konrad Lorenz durante los periodos 2020-1, 2020-2 y 2021-1.

  grafoscombinacionessetsequivalence-relations
  Language:HTML 1
• CC3101-Matematicas-Discretas-para-la-Computacion

  CaldeCrack / CC3101-Matematicas-Discretas-para-la-Computacion

  Resolución de los códigos que se pedían para las tareas.

  cppequivalence-relationsgraphinduction
  Language:C++

• miguelalejandromorenobarrientos / relations

  Kotlin library to analyze finite heterogeneous relations and endorelations

  applicationcorrespondencecorrespondencesequivalence-relationsfinitefunction-analyzerheretogeneoushomogeneouslibraryordersrelationset-theoryendorelation
  Language:Kotlin

• UofSC-Spring-2023-SCHC-411-H01 / homework04

  Some problems on equivalence relations in Lean

  leanequivalence-relations
  Language:Lean