Decision problems for pushdown threads

Author： Bergstra Jan   Bethke Inge   Ponse Alban  

Publisher： Springer Publishing Company

ISSN： 0001-5903

Source： Acta Informatica, Vol.44, Iss.2, 2007-05, pp. : 75-90

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

Related content

Using Fine-Grain Threads and Run-Time Decision Making in Parallel Computing

By Lowenthal D.K.   Freeh V.W.   Andrews G.R.  

Journal of Parallel and Distributed Computing, Vol. 37, Iss. 1, 1996-08 ,pp. : 41-54

Academic Press

Access to resources Recommend Favorite

On some decision problems for trace codings

By Bruyere V.   De Felice C.   Guaiana G.  

Theoretical Computer Science, Vol. 148, Iss. 2, 1995-09 ,pp. : 227-260

Elsevier

Access to resources Recommend Favorite

Combination techniques and decision problems for disunification

By Baader F.   Schulz K.U.  

Theoretical Computer Science, Vol. 142, Iss. 2, 1995-05 ,pp. : 229-255

Elsevier

Access to resources Recommend Favorite

Pushdown cellular automata

By Kutrib M.  

Theoretical Computer Science, Vol. 215, Iss. 1, 1999-02 ,pp. : 239-261

Elsevier

Access to resources Recommend Favorite

Properties of probabilistic pushdown automata

By Macarie I.I.   Ogihara M.  

Theoretical Computer Science, Vol. 207, Iss. 1, 1998-10 ,pp. : 117-130

Elsevier

Access to resources Recommend Favorite