- The j*Ž*part of the theory of ground term algebra modulo an AC symbol is undecidable
Opis
- Tytuł: The j*Ž*part of the theory of ground term algebra modulo an AC symbol is undecidable
- Tytuł czasopisma: Information and Computation
- Twórca: Marcinkowski, Jerzy
- Strony: s. 412-421
- Opis: Abstr.
- Język Abstraktu: eng
- Data wydania: 2002
- Typ: Tekst
- Język publikacji: eng
- Szczegółowy typ obiektu: art
- Typ obiektu: Artykuł
- Tom/Wolumen/Zeszyt: Vol. 178, iss. 2 (2002)