Descriptional Complexity of Formal Systems¶
Francisco Mota, S. A., Antunes, L., & Souto, A. (2013). Descriptional Complexity of Formal Systems.
Cited by¶
1 citation across 1 artifact.
Domain-specific¶
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:b40bf047642c · see in the full table