메뉴 건너뛰기




Volumn 1450 LNCS, Issue , 1998, Pages 512-521

Gaußian elimination and a characterization of algebraic power series

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CHARACTERIZATION;

EID: 84896693413     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055801     Document Type: Conference Paper
Times cited : (4)

References (16)
  • 1
    • 0000913841 scopus 로고    scopus 로고
    • Context-free languages and pushdown automata
    • (Eds.: G. Rozenberg and A. Salomaa), Springer Chapter 3
    • Autebert, J.-M., Berstel, J., Boasson, L.: Context-free languages and pushdown automata. In: Handbook of Formal Languages (Eds.: G. Rozenberg and A. Salomaa), Springer, 1997, vol. 1, Chapter 3, 111-174.
    • (1997) Handbook of Formal Languages , vol.1 , pp. 111-174
    • Autebert, J.-M.1    Berstel, J.2    Boasson, L.3
  • 2
    • 0003687834 scopus 로고
    • Definable operations in general algebras, and the theory of automata and flowcharts
    • Wien
    • Bekic, H.: Definable operations in general algebras, and the theory of automata and flowcharts. Tech. Report, IBM Labor, Wien, 1967.
    • (1967) Tech. Report, IBM Labor
    • Bekic, H.1
  • 4
    • 0031122739 scopus 로고    scopus 로고
    • Completeness of park induction
    • Esik, Z.: Completeness of Park induction. Theor. Comput. Sci. 177 (1997) 217-283.
    • (1997) Theor. Comput. Sci. , vol.177 , pp. 217-283
    • Esik, Z.1
  • 5
    • 0003002778 scopus 로고    scopus 로고
    • Tree languages
    • (Eds.: G. Rozenberg and A. Salomaa), Springer Chapter 1
    • Gecseg, F., Steinby, M.: Tree Languages. In: Handbook of Formal Languages (Eds.: G. Rozenberg and A. Salomaa), Springer, 1997, vol. 3, Chapter 1, 1-68.
    • (1997) Handbook of Formal Languages , vol.3 , pp. 1-68
    • Gecseg, F.1    Steinby, M.2
  • 7
    • 37949047819 scopus 로고
    • A characterization of context-free languages
    • Gruska, J.: A characterization of context-free languages. Journal of Computer and System Sciences 5 (1971) 353-364.
    • (1971) Journal of Computer and System Sciences , vol.5 , pp. 353-364
    • Gruska, J.1
  • 8
    • 0009282922 scopus 로고
    • On limits in complete semirings
    • Karner, G.: On limits in complete semirings. Semigroup Forum 45 (1992) 148-165.
    • (1992) Semigroup Forum , vol.45 , pp. 148-165
    • Karner, G.1
  • 9
    • 0001411725 scopus 로고
    • The kleene and the parikh theorem in complete semirings
    • Kuich, W.: The Kleene and the Parikh theorem in complete semirings. ICALP87, Lect. Notes Comput. Sci. 267(1987) 212-225.
    • (1987) ICALP87, Lect. Notes Comput. Sci. , vol.267 , pp. 212-225
    • Kuich, W.1
  • 10
    • 0003313944 scopus 로고    scopus 로고
    • Semirings and formal power series: Their relevance to formal languages and automata theory
    • (Eds.: G. Rozenberg and A. Salomaa), Springer Chapter 9
    • Kuich, W.: Semirings and formal power series: Their relevance to formal languages and automata theory. In: Handbook of Formal Languages (Eds.: G. Rozenberg and A. Salomaa), Springer, 1997, vol. 1, Chapter 9, 609-677.
    • (1997) Handbook of Formal Languages , vol.1 , pp. 609-677
    • Kuich, W.1
  • 15
    • 0002614970 scopus 로고
    • Generalized finite automata theory with an application to a decision problem of second-order logic
    • Thatcher, J. W., Wright, J. B.: Generalized finite automata theory with an application to a decision problem of second-order logic. Math. Systems Theory 2(1968) 57-81.
    • (1968) Math. Systems Theory , vol.2 , pp. 57-81
    • Thatcher, J.W.1    Wright, J.B.2
  • 16
    • 0003201744 scopus 로고
    • Universal algebra for computer scientists
    • Springer
    • Wechler, W.: Universal Algebra for Computer Scientists. EATCS Monographs on Computer Science, Vol. 25. Springer, 1992.
    • (1992) EATCS Monographs on Computer Science , vol.25
    • Wechler, W.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.