Solvability of Context Equations with Two Context Variables is Decidable

ISSN： 0747-7171

Source： Journal of Symbolic Computation, Vol.33, Iss.1, 2002-01, pp. : 77-122

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

The inclusion problem for some subclasses of context-free languages - a subcase with a decidable inclusion problem

By Asveld P.R.J.P.R.J. Nijholt A.

Theoretical Computer Science, Vol. 230, Iss. 1, 2000-01 ,pp. : 247-256

Elsevier

Access to resources Recommend Favorite

Solvability and approximate solvability of fuzzy relation equations*

By Perfilieva I. Gottwald S.

International Journal of General Systems, Vol. 32, Iss. 4, 2003-07 ,pp. : 361-372

Taylor & Francis Ltd

Access to resources Recommend Favorite

On the independence of equations in three variables

By Harju T. Nowotka D.

Theoretical Computer Science, Vol. 307, Iss. 1, 2003-09 ,pp. : 139-172

Elsevier

Access to resources Recommend Favorite

Context collapse: theorizing context collusions and collisions

By Davis Jenny L Jurgenson Nathan

Information, Communication and Society, Vol. 17, Iss. 4, 2014-04 ,pp. : 476-485

Routledge Ltd

Access to resources Recommend Favorite

Context-aware counter abstraction

By Basler Gérard Mazzucchi Michele Wahl Thomas Kroening Daniel

Formal Methods in System Design, Vol. 36, Iss. 3, 2010-09 ,pp. : 223-245

Springer Publishing Company

Access to resources Recommend Favorite