Source: Electronic Proceedings in Theoretical Computer Science, Vol 30, Iss Proc. FOCLASA 2010, Pp 16-30 (2010)FOCLASAInternational Workshop on the Foundations of

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Simplicity via Provability for Universal Prefix-free Turing Machines

Authors : Cristian S. Calude

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES

Source: Electronic Proceedings in Theoretical Computer Science, Vol 1, Iss Proc. CSP 2008, Pp 16-21 (2009)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Small Universal Accepting Networks of Evolutionary Processors with Filtered Connections

Authors : Victor Mitrana; Remco Loos; Florin Manea

Subjects: FOS: Computer and information sciences; Theoretical computer science; Computer science

Source: Electronic Proceedings in Theoretical Computer Science, Vol 3, Iss Proc. DCFS 2009, Pp 173-182 (2009)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Intrinsically Universal Cellular Automata

Authors : Nicolas Ollinger

Subjects: FOS: Computer and information sciences; Theoretical computer science; Computer science

Source: Electronic Proceedings in Theoretical Computer Science, Vol 1, Iss Proc. CSP 2008, Pp 199-204 (2009)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

A Particular Universal Cellular Automaton

Authors : Gaétan Richard; Nicolas Ollinger;

Subjects: FOS: Computer and information sciences; Theoretical computer science; Computer science

Source: Electronic Proceedings in Theoretical Computer Science, Vol 1, Iss Proc. CSP 2008, Pp 205-214 (2009)CSP

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Sound Probabilistic #SAT with Projection

Authors : Jörg Weisbarth; Alexander Weigl; Vladimir Klebanov

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Computer Science - Cryptography and Security

Source: Electronic Proceedings in Theoretical Computer Science, Vol 227, Iss Proc. QAPL 2016, Pp 15-29 (2016)QAPLElectronic proceedings in

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Provably Total Functions of Arithmetic with Basic Terms

Authors : Evgeny Makarov

Subjects: FOS: Computer and information sciences; Successor cardinal; Computer Science - Logic in Computer Science

Source: Electronic Proceedings in Theoretical Computer Science, Vol 75, Iss Proc. DICE 2011, Pp 28-32 (2012)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

From Type Spaces to Probability Frames and Back, via Language

Authors : Adam Bjorndahl; Joseph Y. Halpern

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Computer science

Source: Electronic Proceedings in Theoretical Computer Science, Vol 251, Iss Proc. TARK 2017, Pp 75-87 (2017)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Transformation of Turing Machines into Context-Dependent Fusion Grammars

Authors : Aaron Lye

Subjects: FOS: Computer and information sciences; Hypergraph; Theoretical computer science

Source: Electronic Proceedings in Theoretical Computer Science, Vol 309, Iss Proc. GCM 2019, Pp 53-70 (2019)GCM@STAF

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

A Swiss Pocket Knife for Computability

Authors : Neil D. Jones

Subjects: FOS: Computer and information sciences; Recursion; Reflection (computer programming)

Source: Electronic Proceedings in Theoretical Computer Science, Vol 129, Iss Festschrift for Dave Schmidt, Pp 1-17 (2013)Festschrift for Dave Schmidt

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي