Order-sorted automated deduction and its application to confluence decisions based on labels.
- Resource Type
- Journal Collection
- Source
Sūrikaisekikenkyūsho Kōkyūroku (Sūrikaisekikenkyūsho Kōkyūroku) (19990101), No.~1093, 136-141.- Subject
- 68
Computer science -- 68QTheory of computing
68Q42Grammars and rewriting systems - Language
- Japanese