Suchergebnisse - ((abstract OR abstrakty) OR abstraktu) and automatic computability and recursion theory

A pathological punctually 1-decidable structure.

Autoren: Hammatt, Ellen Turetsky, Dan Melnikov, Alexander G. et al.

Quelle: Proceedings of the American Mathematical Society; Oct2025, Vol. 153 Issue 10, p4447-4462, 16p

Schlagwörter: MATHEMATICAL logic, DECIDABILITY (Mathematical logic), RECURSION theory

Recursion in programs, thought, and language.

Autoren: Johnson-Laird, P. N. Bucciarelli, Monica Mackiewicz, Robert et al.

Quelle: Psychonomic Bulletin & Review; Apr2022, Vol. 29 Issue 2, p430-454, 25p

Schlagwörter: RECURSIVE functions, RECURSION theory, KOLMOGOROV complexity, NATURAL languages, SHORT-term memory

Alpha-Structural Recursion and Induction.

Autoren: Pitts, Andrew M.

Quelle: Journal of the ACM; May2006, Vol. 53 Issue 3, p459-506, 48p

Schlagwörter: PERMUTATIONS, RECURSION theory, MATHEMATICAL induction, FINITE element method, COMPUTER programming

A Survey of Nature-Inspired Computing: Membrane Computing.

Autoren: BOSHENG SONG KENLI LI ORELLANA-MARTÍN, DAVID et al.

Quelle: ACM Computing Surveys; Jan2022, Vol. 54 Issue 1, p1-31, 31p

Schlagwörter: COMPUTATIONAL complexity, NP-complete problems, RECURSION theory, CELL anatomy, COMPUTER systems, BIOLOGICALLY inspired computing

KNUTH–BENDIX FOR GROUPS WITH INFINITELY MANY RULES: Knuth-Bendix for groups with infinitely many rules

Autoren: Paul J. Sanders David B. A. Epstein

Quelle: International Journal of Algebra and Computation. 10:539-589

Schlagwörter: Generators, relations, and presentations of groups, Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), Group Theory (math.GR), 0102 computer and information sciences, 20F10,20-04,68Q42 (Primary), solvable word problem, 01 natural sciences, regular languages, 03D40,20F32 (Secondary), finitely presented groups, Grammars and rewriting systems, FOS: Mathematics, Knuth-Bendix procedures, 0101 mathematics, finite state automata, Word problems, etc. in computability and recursion theory, Geometric group theory, automatic groups, Mathematics - Group Theory, word reductions

Dateibeschreibung: application/xml

Zugangs-URL: http://arxiv.org/pdf/math/0001035
http://arxiv.org/abs/math/0001035
https://zbmath.org/1845101
https://doi.org/10.1142/s0218196700000352
https://dblp.uni-trier.de/db/journals/ijac/ijac10.html#EpsteinS00
https://www.worldscientific.com/doi/10.1142/S0218196700000352

From Fieldwork to Linguistic Theory

Autoren: Gibson, Edward Poliak, Moshe

Resource Type: eBook.

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Algebraic Computability and Enumeration Models : Recursion Theory and Descriptive Complexity

Autoren: Cyrus F. Nourani

Resource Type: eBook.

Schlagworte: Functor theory, Model theory, Computable functions, Algebra, Homological, Kleene algebra

Categories: MATHEMATICS / Algebra / General, MATHEMATICS / Geometry / General, MATHEMATICS / Set Theory

Computability Theory & Automata Theory

Autoren: Kristy Plante Tomas Jensen

Resource Type: eBook.

Schlagworte: Computer science, Computable functions, Machine theory

Categories: MATHEMATICS / Logic, MATHEMATICS / Infinity

Extending properly n-REA sets¹.

Autoren: Cholak, Peter Gerdes, Peter

Quelle: Computability; 2022, Vol. 11 Issue 3/4, p241-267, 27p

Schlagwörter: COMPUTABLE functions, RECURSION theory

Electrical analysis of logical complexity: an exploratory eeg study of logically valid/invalid deducive inference.

Autoren: Salto, Francisco Requena, Carmen Alvarez-Merino, Paula et al.

Quelle: Brain Informatics; 6/7/2023, Vol. 10 Issue 1, p1-15, 15p

Schlagwörter: ELECTROENCEPHALOGRAPHY, ALPHA rhythm, PROBABILITY theory

Automatic reduction of cuch expression by means of the value method: Automatic reduction of CUCH expression by means of the value method

Autoren: G. Ausiello

Quelle: Calcolo. 5:174-184

Schlagwörter: General topics in the theory of software, Formal languages and automata, Computability and recursion theory, Theorem proving (deduction, resolution, etc.)

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/3473280
https://link.springer.com/article/10.1007/BF02576064

Engines of Order : A Mechanology of Algorithmic Techniques

Autoren: Bernhard Rieder

Resource Type: eBook.

Categories: COMPUTERS / Information Theory, COMPUTERS / Programming / Algorithms, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, PHILOSOPHY / Epistemology

Algorithms for Constructing Computably Enumerable Sets

Autoren: Kenneth J. Supowit

Resource Type: eBook.

Schlagworte: Computer science, Computable functions, Recursion theory, Set theory, Computer science—Mathematics

Categories: COMPUTERS / Computer Science, MATHEMATICS / Applied, MATHEMATICS / Logic, MATHEMATICS / Set Theory

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Autoren: Stephanie Weirich

Resource Type: eBook.

Schlagworte: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Complexity, Logic, and Recursion Theory

Autoren: Andrea Sorbi

Resource Type: eBook.

Schlagworte: Recursion theory, Computational complexity

Categories: MATHEMATICS / General, MATHEMATICS / Applied

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Autoren: Christoph Benzmüller Marijn J.H. Heule Renate A. Schmidt

Resource Type: eBook.

Schlagworte: Automatic theorem proving--Congresses, Computer logic--Congresses, Artificial intelligence

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Recursive Subsystems in Aphasia and Alzheimer's Disease: Case Studies in Syntax and Theory of Mind.

Autoren: Bánréti, Zoltán Hoffmann, Ildikó Vincze, Veronika

Quelle: Frontiers in Psychology; 3/31/2016, p1-21, 21p

Schlagwörter: RECURSION theory, THEORY of mind, APHASIA, ALZHEIMER'S disease research, LEARNING disabilities research

Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Autoren: Brigitte Pientka Cesare Tinelli

Resource Type: eBook.

Schlagworte: Automatic theorem proving--Congresses, Logic, Symbolic and mathematical--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General

Automated Reasoning with Analytic Tableaux and Related Methods

Autoren: Revantha Ramanayake Josef Urban

Resource Type: eBook.

Schlagworte: Automatic theorem proving--Congresses, Artificial intelligence

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Multi-Tape and Infinite-State Automata--A Survey.

Autoren: Oettinger, A. G. Fischer, Patrick C.

Quelle: Communications of the ACM; Dec1965, Vol. 8 Issue 12, p799-805, 7p

Schlagwörter: TURING machines, SEQUENTIAL machine theory, COMPUTATIONAL linguistics, RECURSION theory, MACHINE theory, ALGORITHMS