scholarly journals The membership problem for polynomial ideals in terms of residue currents

2006 ◽  
Vol 56 (1) ◽  
pp. 101-119 ◽  
Author(s):  
Mats Andersson
1991 ◽  
Vol 33 (1-3) ◽  
pp. 73-94 ◽  
Author(s):  
Alicia Dickenstein ◽  
Noaï Fitchas ◽  
Marc Giusti ◽  
Carmen Sessa

2007 ◽  
Vol 18 (06) ◽  
pp. 1293-1302 ◽  
Author(s):  
MARTIN KUTRIB ◽  
ANDREAS MALCHER

We investigate the intersection of Church-Rosser languages and (strongly) context-free languages. The intersection is still a proper superset of the deterministic context-free languages as well as of their reversals, while its membership problem is solvable in linear time. For the problem whether a given Church-Rosser or context-free language belongs to the intersection we show completeness for the second level of the arithmetic hierarchy. The equivalence of Church-Rosser and context-free languages is Π1-complete. It is proved that all considered intersections are pairwise incomparable. Finally, closure properties under several operations are investigated.


Author(s):  
Carlos A. Berenstein ◽  
Alekos Vidras ◽  
Roger Gay ◽  
Alain Yger

Sign in / Sign up

Export Citation Format

Share Document