11 sonuç bulundu
Tümünü Seç
00000000000DEFAULTTR
Yazar
Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X
Format:
Electronic Resources
Alıntı:
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau
Yazar
Durand-Lose, Jerome. editor.
Format:
Electronic Resources
Alıntı:
Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North
View Other Search Results
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018
Yazar
Câmpeanu, Cezar. editor.
Format:
Electronic Resources
Alıntı:
occur in computational models, such as Turing Machines, finte automata, grammars, splicing systems and
Yazar
Biondi, Fabrizio. editor.
Format:
Electronic Resources
Alıntı:
-- From Dynamic State Machines to Promela -- String abstraction for model checking of C programs -- Swarm
Yazar
Han, Yo-Sub. editor.
Format:
Electronic Resources
Alıntı:
Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L -- Kuratowski Algebras Generated by
Yazar
Shallit, Jeffrey. editor.
Format:
Electronic Resources
Alıntı:
, pushdown automata, and Turing machines. Descriptional complexity serves as a theoretical representation of
Yazar
Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842
Format:
Electronic Resources
Alıntı:
computational models, such as turing machines, finite automata, grammars, splicing systems and others. The topics
9.
Yazar
Calude, Cristian S. editor.
Format:
Electronic Resources
Alıntı:
Counterexamples -- One-Sided Random Context Grammars -- How Can We Construct Reversible Machines out of Reversible
Yazar
Hoshi, Mizuho. editor.
Format:
Electronic Resources
Alıntı:
Automata and One-Tape Machines: Read Only versus Linear Time -- Dynamics of the Independence Number and
Yazar
Bieger, Jordi. editor.
Format:
Electronic Resources
Alıntı:
Description Length Principle for Probabilistic Programming -- Can Machines Learn Logics? -- Comparing Computer
11 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: