nach oben

Automatic Control and Computer Sciences

Erschienen in:

01.12.2010

Algorithms for the boundedness problem for Minsky counter machines

verfasst von: E. V. Kuzmin, D. J. Chalyy

Erschienen in: Automatic Control and Computer Sciences | Ausgabe 7/2010

Einloggen, um Zugang zu erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Nächster Artikel Verification of synchronous-automaton programs with the use of LTL

Titel: Algorithms for the boundedness problem for Minsky counter machines
verfasst von: E. V. Kuzmin
D. J. Chalyy
Publikationsdatum: 01.12.2010
Verlag: Allerton Press, Inc.
Erschienen in: Automatic Control and Computer Sciences / Ausgabe 7/2010
Print ISSN: 0146-4116
Elektronische ISSN: 1558-108X
DOI: https://doi.org/10.3103/S0146411610070011

Neuer Inhalt

Bildnachweise

VDI-Icon, Profil Icon, inhalt2, Springer Professional Modul/© Springer Fachmedien Wiesbaden GmbH, Die Gewinner und Laudatoren des Sustainability Award in Automotive 2024/© Uli Regenscheit | ATZlive, Search Icon, Banner Hanser, Suresh Vittal/© Alteryx, Additiv gefertigte Teile/© Marina_Skoropadskaya | Getty Images | iStock, Warnschild "Land unter"/© Bluedesign / Fotolia, Zeitschrift Wissensmanagement Cover, PatentFit-Logo/© Springer Fachmedien Wiesbaden GmbH, ATZ-Webinar: Prototypenfreie Entwicklung durch Offline- und Driver-in-the-Loop-HiL-Tests /© (c) VI-grade, chassis.tech plus 2023/© [M] ATZlive / TÜV SÜD PRODUCT SERVICE GMBH, adäsion-Webinar-Matinee/© krystiannawrocki_ Getty Images

Springer Professional

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Weitere Artikel der Ausgabe 7/2010

Asymptotic form of the bias of entropy estimator for Bernoulli measures

On a class of high-level finite-state automata

Decidability of boundedness problems for Minsky counter machines

Some methods for pattern recognition

Linear metrics for entropy estimation

On 2-neighborly polytopes and the gale construction

Neuer Inhalt

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.