مرکز منطقه ای اطلاع رساني علوم و فناوري - Non-structural subtype entailment in automata theory

Title of article :

Non-structural subtype entailment in automata theory

Author/Authors :

Joachim Niehren، نويسنده , , Tim Priesnitz، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2003

Pages :

From page :

319

To page :

354

Keywords :

programming languages , subtyping , Word equations , Finite automata

Journal title :

Information and Computation

Serial Year :

2003

Journal title :

Information and Computation

Record number :

262186

Link To Document :