Proceedings of the thirty-sixth annual ACM symposium on Theory of computing - STOC '04¶

R Alur, P. M. (2004). Proceedings of the thirty-sixth annual ACM symposium on Theory of computing - STOC '04. ACM.

Type: Unclassified
Intellectual base: Unclassified
Year: 2004
DOI: 10.1145/1007352.1007390
Link: https://doi.org/10.1145/1007352.1007390

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Nested word
- A nested word combines the ordinary linear order of a word with hierarchical edges linking calls to matching returns under a properly nested constraint.

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:a1c3ff21b9d1 · see in the full table