VariousWords beta
Related Terms:
Noun
Definition: A form of induction that allows some form of reasoning concerning sets that are not well founded; uses a form of relation called a bisimulation
VariousWords beta
Definition: A form of induction that allows some form of reasoning concerning sets that are not well founded; uses a form of relation called a bisimulation