Výsledky vyhľadávania - (abstract OR abstraktu) AND automatic computability AND recursion theory~

A pathological punctually 1-decidable structure.

Autori: Hammatt, Ellen Turetsky, Dan Melnikov, Alexander G. a ďalší

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

Predmety: MATHEMATICAL logic, DECIDABILITY (Mathematical logic), RECURSION theory

Recursion in programs, thought, and language.

Autori: Johnson-Laird, P. N. Bucciarelli, Monica Mackiewicz, Robert a ďalší

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

Predmety: RECURSIVE functions, RECURSION theory, KOLMOGOROV complexity, NATURAL languages, SHORT-term memory

Alpha-Structural Recursion and Induction.

Autori: Pitts, Andrew M.

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

Predmety: PERMUTATIONS, RECURSION theory, MATHEMATICAL induction, FINITE element method, COMPUTER programming

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

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

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

Predmety: 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

Popis súboru: application/xml

Prístupová URL adresa: 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

A Survey of Nature-Inspired Computing: Membrane Computing.

Autori: BOSHENG SONG KENLI LI ORELLANA-MARTÍN, DAVID a ďalší

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

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

Computability Theory & Automata Theory

Autori: Kristy Plante Tomas Jensen

Typ zdroja: eBook.

Predmet: Computer science, Computable functions, Machine theory

Kategórie: MATHEMATICS / Logic, MATHEMATICS / Infinity

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

Autori: G. Ausiello

Zdroj: Calcolo. 5:174-184

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

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/3473280
https://link.springer.com/article/10.1007/BF02576064

Extending properly n-REA sets¹.

Autori: Cholak, Peter Gerdes, Peter

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

Predmety: COMPUTABLE functions, RECURSION theory

From Fieldwork to Linguistic Theory

Autori: Gibson, Edward Poliak, Moshe

Typ zdroja: eBook.

Kategórie: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

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

Autori: Salto, Francisco Requena, Carmen Alvarez-Merino, Paula a ďalší

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

Predmety: ELECTROENCEPHALOGRAPHY, ALPHA rhythm, PROBABILITY theory

A higher-order implementation of rewriting

Autori: Lawrence C. Paulson

Zdroj: Science of Computer Programming. 3:119-149

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 0102 computer and information sciences, 02 engineering and technology, logic of computable functions, Symbolic computation and algebraic computation, formula conversions, ML, 01 natural sciences, Computability and recursion theory on ordinals, admissible sets, etc, Logic in Computer Science (cs.LO), implementation of rewriting in LCF, pattern matching, term conversions, D.1.1, D.2.4, F.4.1, 0202 electrical engineering, electronic engineering, information engineering, Software, Theorem proving (deduction, resolution, etc.), Abstract data types, algebraic specification

Popis súboru: application/xml

Prístupová URL adresa: http://arxiv.org/abs/cs/9301108
https://core.ac.uk/display/81958412
http://ui.adsabs.harvard.edu/abs/1993cs........1108P/abstract
https://dblp.uni-trier.de/db/journals/scp/scp3.html#Paulson83
http://doi.org/10.1016/0167-6423(83)90008-4
http://www.sciencedirect.com/science/article/pii/0167642383900084
https://doi.org/10.1016/0167-6423(83)90008-4

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

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

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

Predmety: RECURSION theory, THEORY of mind, APHASIA, ALZHEIMER'S disease research, LEARNING disabilities research

Collapsible Pushdown Automata and Recursion Schemes.

Autori: HAGUE, MATTHEW MURAWSKI, ANDRZEJ S. ONG, C.-H. LUKE a ďalší

Zdroj: ACM Transactions on Computational Logic; Jul2017, Vol. 18 Issue 3, p1-42, 42p

Predmety: RECURSION theory, INFINITY (Mathematics), MACHINE theory, GRAPH theory, RANKING (Statistics)

Algorithms for Constructing Computably Enumerable Sets

Autori: Kenneth J. Supowit

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Computer Science, MATHEMATICS / Applied, MATHEMATICS / Logic, MATHEMATICS / Set Theory

Complexity, Logic, and Recursion Theory

Autori: Andrea Sorbi

Typ zdroja: eBook.

Predmet: Recursion theory, Computational complexity

Kategórie: MATHEMATICS / General, MATHEMATICS / Applied

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

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

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

Predmety: TURING machines, SEQUENTIAL machine theory, COMPUTATIONAL linguistics, RECURSION theory, MACHINE theory, ALGORITHMS

Universe, Computation, and Mind as Recursive Harmonic Resonance

Autori: Kulik, Dean

Algebraic Computability and Enumeration Models : Recursion Theory and Descriptive Complexity

Autori: Cyrus F. Nourani

Typ zdroja: eBook.

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

Kategórie: MATHEMATICS / Algebra / General, MATHEMATICS / Geometry / General, MATHEMATICS / Set Theory

Engines of Order : A Mechanology of Algorithmic Techniques

Autori: Bernhard Rieder

Typ zdroja: eBook.

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

An Overview of Type Theories.

Autori: Guallart, Nino

Zdroj: Axiomathes: Global Philosophy; Mar2015, Vol. 25 Issue 1, p61-77, 17p

Predmety: ONTIC (Computer system), AUTOMATIC theorem proving, EPISTEMIC logic, MODAL logic, MECHANISM (Philosophy)