A note on Rabin's width of a complete proof
- Montaña, J.L.
- Pardo, L.M.
- Recio, T.
ISSN: 1016-3328, 1420-8954
Year of publication: 1994
Volume: 4
Issue: 1
Pages: 12-36
Type: Article
ISSN: 1016-3328, 1420-8954
Year of publication: 1994
Volume: 4
Issue: 1
Pages: 12-36
Type: Article