An n3u upper bound on the complexity for deciding the truth of a presburger sentence involving two variables bounded only by existential quantifiers

• Autores: Kuniaki Naoi, Naohisa Takahashi
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 80, Nº. 2, 1997, págs. 223-231
• Idioma: inglés
• Texto completo no disponible (Saber más ...)