Publication | Closed Access
A Coinduction Principle for Recursive Data Types Based on Bisimulation
53
Citations
7
References
1996
Year
EngineeringAutomated ReasoningCoinduction PrincipleType TheoryFormal MethodsComputational ComplexityEquivalence CheckingComputer ScienceType SystemDiscrete MathematicsFormal VerificationRecursive FunctionComputability Theory
| Year | Citations | |
|---|---|---|
Page 1
Page 1