المؤلفون: Baltag, Alexandru¹ thealexandrubaltag@gmail.com, Moss, Lawrence S.² lmoss@indiana.edu, Solecki, Sławomir³ ss3777@cornell.edu

المصدر: Logics. Jun2023, Vol. 1 Issue 2, p97-147. 51p.

مصطلحات موضوعية: *LANGUAGE & languages, *DECIDABILITY (Mathematical logic), *ANNOUNCEMENTS, *MACHINE theory, *SEMANTICS

المؤلفون: Kifer, Michael

المصدر: Journal of the ACM. Jul98, Vol. 45 Issue 4, p588. 46p. 2 Charts.

مصطلحات موضوعية: DECIDABILITY (Mathematical logic), AXIOMATIC set theory, DEDUCTIVE databases

المؤلفون: COOK, BYRON^1,2, PODELSKI, ANDREAS³, RYBALCHENKO, ANDREY⁴

المصدر: Communications of the ACM. May2011, Vol. 54 Issue 5, p88-98. 11p. 1 Illustration, 11 Diagrams.

مصطلحات موضوعية: COMPUTER software termination, DECIDABILITY (Mathematical logic), RAMSEY theory, COMPUTABLE functions, COMPUTER logic, MATHEMATICAL logic

المؤلفون: Frohn, Florian¹, Giesl, Jürgen¹ giesl@informatik.rwth-aachen.de

المصدر: Information Processing Letters. Nov2018, Vol. 139, p18-23. 6p.

مصطلحات موضوعية: COMPUTATIONAL complexity, DECIDABILITY (Mathematical logic), COMPUTER software correctness, REWRITING systems (Computer science), TURING (Computer program language)

المؤلفون: Beier, Simon¹ simon.beier@informatik.uni-giessen.de, Holzer, Markus¹ holzer@informatik.uni-giessen.de, Kutrib, Martin¹ kutrib@informatik.uni-giessen.de

المصدر: International Journal of Foundations of Computer Science. Jan2019, Vol. 30 Issue 1, p5-27. 23p.

مصطلحات موضوعية: DECIDABILITY (Mathematical logic), FINITE state machines, FINITE fields, COMPUTATIONAL complexity, SEMILINEAR elliptic equations

المؤلفون: Ferreira, Rodrigo Sabadin

المصدر: History & Philosophy of Logic; Feb2023, Vol. 44 Issue 1, p33-53, 21p

مصطلحات موضوعية: APHORISMS & apothegms, LOGIC diagrams, LOGIC, DECIDABILITY (Mathematical logic)

People: WITTGENSTEIN, Ludwig, 1889-1951

المؤلفون: PRUŠA, DANIEL

المصدر: Journal of Automata, Languages & Combinatorics; 2023, Vol. 28 Issue 1-3, p143-166, 24p

مصطلحات موضوعية: GRAPH grammars, LANGUAGE & languages, PICTURES, DECIDABILITY (Mathematical logic), COMPUTATIONAL complexity

المؤلفون: Hieronymi, Philipp¹ phierony@illinois.edu

المصدر: Annals of Pure & Applied Logic. Oct2019, Vol. 170 Issue 10, p1162-1175. 14p.

مصطلحات موضوعية: *DECIDABILITY (Mathematical logic), *DEFINABILITY theory (Mathematical logic), *QUADRATIC fields, *VECTOR spaces, *MULTIPLES (Mathematics)

المؤلفون: MARCELINO, SÉRGIO¹ sergiortm@gmail.com, CALEIRO, CARLOS¹ carlos.caleiro@tecnico.ulisboa.pt

المصدر: Logic Journal of the IGPL. Oct2016, Vol. 24 Issue 5, p673-707. 35p.

مصطلحات موضوعية: ABSTRACT algebra, DECIDABILITY (Mathematical logic), SEMANTIC computing, COMPUTABLE functions, MATHEMATICAL logic

المؤلفون: BENEDIKT, MICHAEL¹ michael.benedikt@comlab.ox.ac.uk, BOURHIS, PIERRE², LEY, CLEMENS²

المصدر: ACM Transactions on Database Systems. Mar2015, Vol. 40 Issue 1, p5:1-5:46. 46p.

مصطلحات موضوعية: DECIDABILITY (Mathematical logic), COMPUTABLE functions, RECURSIVE functions, MATHEMATICAL logic, ALGEBRAIC field theory, GROUP theory

المؤلفون: HAMANA, MAKOTO¹ hamana@cs.gunma-u.ac.jp

المصدر: Journal of Functional Programming. 2019, Vol. 29, p1-53. 53p.

مصطلحات موضوعية: *DECIDABILITY (Mathematical logic), *PROGRAMMING languages, *ALGEBRA, *HASKELL (Computer program language), *SEMANTICS

المؤلفون: Muñoz-Velasco, Emilio¹, Sciavicco, Guido^1,2, Pelegrín, Mercedes³, Sala, Pietro⁴, Stan, Ionel Eduard⁵

المصدر: Artificial Intelligence. Jan2019, Vol. 266, p1-26. 26p.

مصطلحات موضوعية: *DECIDABILITY (Mathematical logic), *LOGIC, *ALGEBRA, *SEMANTICS, *MODAL logic, *ONTOLOGIES (Information retrieval)

المؤلفون: Roman'kov, Vitaly¹ romankov48@mail.ru

المصدر: Groups Complexity Cryptology. Nov2018, Vol. 10 Issue 2, p83-98. 16p.

مصطلحات موضوعية: *ALGEBRAIC attacks (Cryptography), *DECIDABILITY (Mathematical logic), *AUTOMORPHISMS, *ENDOMORPHISMS, *QUASIVARIETIES (Universal algebra)

المؤلفون: Ibarra, Oscar H.¹ ibarra@cs.ucsb.edu, McQuillan, Ian² mcquillan@cs.usask.ca

المصدر: Theoretical Computer Science. Aug2018, Vol. 738, p1-12. 12p.

مصطلحات موضوعية: *DECIDABILITY (Mathematical logic), *MATHEMATICAL logic, *CHIMNEY effect (Atmospheric chemistry), *POLYNOMIAL time algorithms, *MACHINE theory

المؤلفون: Araújo, João^1,2 mjoao@lmc.fc.ul.pt, Kinyon, Michael^2,3 mkinyon@du.edu, Konieczny, Janusz⁴ jkoniecz@umw.edu, Malheiro, António^5,6 ajm@fct.unl.pt

المصدر: Theoretical Computer Science. Jun2018, Vol. 731, p88-98. 11p.

مصطلحات موضوعية: *DECIDABILITY (Mathematical logic), *INDEPENDENCE (Mathematics), *MONOIDS, *CONJUGACY classes, *PROBLEM solving

المؤلفون: Caucal, Didier¹ caucal@univ-mlv.fr, Knapik, Teodor² knapik@univ-nc.nc

المصدر: Fundamenta Informaticae. 2018, Vol. 159 Issue 4, p327-359. 33p.

مصطلحات موضوعية: *ITERATIVE methods (Mathematics), *DECIDABILITY (Mathematical logic), *GEOMETRIC vertices, *MATHEMATICAL models, *HIERARCHIES

المؤلفون: Kari, Lila^1,2 lila@csd.uwo.ca, Konstantinidis, Stavros³ s.konstantinidis@smu.ca, Kopecki, Steffen^2,3 steffen@csd.uwo.ca

المصدر: Information & Computation. Apr2018 Part 2, Vol. 259, p237-258. 22p.

مصطلحات موضوعية: *GENETIC code, *DECIDABILITY (Mathematical logic), *PERMUTATIONS, *BIOMEDICAL transducers, *MATHEMATICAL logic

المؤلفون: Eremondi, Joey¹ j.s.eremondi@students.uu.nl, Ibarra, Oscar H.² ibarra@cs.ucsb.edu, McQuillan, Ian³ mcquillan@cs.usask.ca

المصدر: Information & Computation. Apr2018 Part 2, Vol. 259, p214-224. 11p.

مصطلحات موضوعية: *DECIDABILITY (Mathematical logic), *COMPUTATIONAL complexity, *NP-complete problems, *MACHINE theory, *POLYNOMIAL time algorithms

المؤلفون: Andrii Hopanchuk

مصطلحات موضوعية: Computational logic and formal languages, Theory of computation not elsewhere classified, Logic, Decidability (Mathematical logic), Turing machines, Nondeterministic logic

Relation: https://figshare.com/articles/preprint/Stochastic_Continuous_and_Turing_Decidable_Propositional_Logic/24715257

الاتاحة: https://doi.org/10.6084/m9.figshare.24715257.v1
https://figshare.com/articles/preprint/Stochastic_Continuous_and_Turing_Decidable_Propositional_Logic/24715257

المؤلفون: Czerwiński, Wojciech¹ wczerwin@mimuw.edu.pl, Hofman, Piotr² ph209519@mimuw.edu.pl, Lasota, Sławomir² sl@mimuw.edu.pl

المصدر: Theory of Computing Systems. Jul2014, Vol. 55 Issue 1, p136-169. 34p.

مصطلحات موضوعية: *PARALLEL processing, DECIDABILITY (Mathematical logic), BISIMULATION, PARALLEL computers, LINEAR systems