Search Results - (abstract OR abstracts) and automatic computability and recursion theory~

A pathological punctually 1-decidable structure.

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

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

Subject Terms: MATHEMATICAL logic, DECIDABILITY (Mathematical logic), RECURSION theory

Alpha-Structural Recursion and Induction.

Authors: Pitts, Andrew M.

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

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

Recursion in programs, thought, and language.

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

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

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

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

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

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

Subject Terms: 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

File Description: application/xml

Access 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

A higher-order implementation of rewriting

Authors: Lawrence C. Paulson

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

Subject Terms: 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

File Description: application/xml

Access URL: 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

A Survey of Nature-Inspired Computing: Membrane Computing.

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

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

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

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

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

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

Subject Terms: ELECTROENCEPHALOGRAPHY, ALPHA rhythm, PROBABILITY theory

Computability Theory & Automata Theory

Authors: Kristy Plante Tomas Jensen

Resource Type: eBook.

Subjects: Computer science, Computable functions, Machine theory

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

Authors: G. Ausiello

Source: Calcolo. 5:174-184

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

File Description: application/xml

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

Extending properly n-REA sets¹.

Authors: Cholak, Peter Gerdes, Peter

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

Subject Terms: COMPUTABLE functions, RECURSION theory

Universe, Computation, and Mind as Recursive Harmonic Resonance

Authors: Kulik, Dean

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

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

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

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

Collapsible Pushdown Automata and Recursion Schemes.

Authors: HAGUE, MATTHEW MURAWSKI, ANDRZEJ S. ONG, C.-H. LUKE et al.

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

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

Algorithms for Constructing Computably Enumerable Sets

Authors: Kenneth J. Supowit

Resource Type: eBook.

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

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

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

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

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

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

On Giving Meanings to Programs.

Authors: Cardone, Felice

Source: Axiomathes: Global Philosophy; Feb2023, Vol. 33 Issue 1, p1-22, 22p

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

Authors: Stephanie Weirich

Resource Type: eBook.

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

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

An Overview of Type Theories.

Authors: Guallart, Nino

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

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

From Fieldwork to Linguistic Theory

Authors: Gibson, Edward Poliak, Moshe

Resource Type: eBook.

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

The Geometry of Linear Higher-Order Recursion.

Authors: Lago, Ugo Dal

Source: ACM Transactions on Computational Logic; Feb2009, Vol. 10 Issue 2, p8-8.38, 38p, 6 Diagrams, 6 Charts

Subject Terms: RECURSION theory, MATHEMATICAL logic, LINEAR dependence (Mathematics), POLYNOMIALS, LAMBDA calculus