Publication | Closed Access
Frontier between decidability and undecidability: a survey
78
Citations
53
References
2000
Year
Decision ProcedureEngineeringAutomated ReasoningVerificationComputational Model TheoryFormal MethodsComputer ScienceFormal VerificationData SecurityCryptographyComputability Theory
| Year | Citations | |
|---|---|---|
Page 1
Page 1