Finiteness and regularity in semigroups and formal languages /

QR Kod

Finiteness and regularity in semigroups and formal languages /

Kaydedildi:

Detaylı Bibliyografya
Yazar:	De Luca, A.
Diğer Yazarlar:	Varricchio, Stefano, 1960-
Materyal Türü:	Sách giấy
Baskı/Yayın Bilgisi:	Berlin : New York : Springer, c1999.
Seri Bilgileri:	Monographs in theoretical computer science
Konular:	Formal languages. Semigroups.
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Benzer Materyaller

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
Baskı/Yayın Bilgisi: (2002)

A concise guide to semigroups and evolution equations /
Yazar:: Belleni-Morante, Aldo.
Baskı/Yayın Bilgisi: (1994)

Proceedings of the workshop semigroups and languages
Baskı/Yayın Bilgisi: (2004)

Semigroups, algorithms, automata, and languages :
Baskı/Yayın Bilgisi: (2002)

A concise guide to semigroups and evolution equations /
Yazar:: Belleni-Morante, Aldo.
Baskı/Yayın Bilgisi: (1994)

Semigroups of Operators -Theory and Applications
Yazar:: Banasiak, Jacek, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Relations between cone-parameter Levy processes and convolution semigroups /
Yazar:: Pedersen, Jan.

Balanced exponential growth for perturbed operator semigroups /
Yazar:: Thieme, Horst R.

Lipschitzian semigroups in Hilbert space /
Yazar:: Gornicki, Jaroslaw.

Approximation and convergence theorems for nonlinear semigroups associated with semilinear evolution equations /

An introduction to formal languages and machine computation /
Yazar:: Yan, Song Y.
Baskı/Yayın Bilgisi: (1998)

Approximation of B-bounded semigroups /
Yazar:: Bartoli, Lorenzo.

An Introduction to Formal Languages and Automata (Photo) /
Yazar:: Linz Peter
Baskı/Yayın Bilgisi: (1990)

Perturbation of non-exponentially-bounded a-times integrated C-semigroups /
Yazar:: Li, Yuan-Chuan.

Positive perturbations of dual and integrated semigroups /
Yazar:: Thieme, Horst R.

A concise guide to semigroups and evolution equations
Yazar:: Belleni-Morante, Aldo
Baskı/Yayın Bilgisi: (1994)

On the fixed point property for nonexpansive mappings and semigroups /
Yazar:: Rouhani, Behzad Djafari.

Time-dependent nonlinear perturbations of analytic semigroups in Banach spaces /
Yazar:: Matsumoto, Toshitaka.

Problem solving in automata, languages, and complexity
Yazar:: Ding-zhu Du
Baskı/Yayın Bilgisi: (2001)

Matrix semigroups and differential equations : Ergodism and asymptotic behaviour of solutions with or without impulses, a survey /
Yazar:: Caubet, Jean-Pierre.

ZETA FUNCTION AND VALUE SEMIGROUP OF COMPLEX PLANE CURVE SINGULARITIES
Yazar:: Dang, Tuan Hiep, ve diğerleri
Baskı/Yayın Bilgisi: (2026)

Teaching Formal Methods
Baskı/Yayın Bilgisi: (2020)

Formal Concept Analysis
Yazar:: Ganter, Bernhard, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

On solution semigroups of general functional differential equations /
Yazar:: Naito, Toshiki.

Formal Methods: Foundations and Applications
Yazar:: Davies, Jim, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Yazar:: Bjørner, Nikolaj, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Concise Guide to Formal Methods
Yazar:: O'Regan, Gerard
Baskı/Yayın Bilgisi: (2020)

Formal Grammar
Yazar:: Foret, Annie, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

On the Lq-Lr estimates of the Stokes semigroup in a two dimensional exterior domain /
Yazar:: Dan, Wakako.

Formalization and theoretical analysis of the local effect model /
Yazar:: Beuve, M.

Fixed point theorems and nonlinear ergodic theorems for nonlinear semigroups and their applications /
Yazar:: Takahashi, Wataru.

Formal Correctness of Security Protocols
Yazar:: Bella, Giampaolo
Baskı/Yayın Bilgisi: (2020)

Formal Concept Analysis
Yazar:: Medina, Raoul, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Concept Analysis
Yazar:: Kuznetsov, Sergei O., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Grammar 2018
Yazar:: Foret, Annie, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Concept Analysis
Baskı/Yayın Bilgisi: (2020)

Formal Methods Teaching
Yazar:: Dongol, Brijesh, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Methods in Software and Systems Modeling
Baskı/Yayın Bilgisi: (2020)

Finite Model Theory and Its Applications
Yazar:: Grädel, Erich, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Formal Grammar
Yazar:: Bernardi, Raffaella, ve diğerleri
Baskı/Yayın Bilgisi: (2020)