Výsledky vyhledávání - (abstract OR abstracts) and automatic computability and recursion theory*

A pathological punctually 1-decidable structure.

Autoři: Hammatt, Ellen Turetsky, Dan Melnikov, Alexander G. a další

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

Témata: MATHEMATICAL logic, DECIDABILITY (Mathematical logic), RECURSION theory

Conceptualising Programming Language Semantics.

Autoři: Astarte, Troy Kaighin

Zdroj: Philosophies; Aug2025, Vol. 10 Issue 4, p90, 22p

Témata: PROGRAMMING languages, SEMANTICS, COMPUTER science education, HISTORICAL analysis, THEORY of knowledge, METAPHOR

First and Second Order Recursion on Abstract Data Types.

Autoři: Jian Xu Zucker, Jeffery

Zdroj: Fundamenta Informaticae; 2005, Vol. 67 Issue 4, p377-419, 43p, 22 Charts

Témata: ALGEBRA, MATHEMATICS, FIXED point theory, NONLINEAR operators, COINCIDENCE theory, ABSTRACT data types (Computer science), COMPUTER programming

Research on a General State Formalization Method from the Perspective of Logic.

Autoři: Qiu, Siyuan Xu, Jianfeng

Zdroj: Mathematics (2227-7390); Oct2025, Vol. 13 Issue 20, p3324, 36p

Témata: MODEL theory, INFORMATION theory, SEMANTICS, MATHEMATICAL logic

Alpha-Structural Recursion and Induction.

Autoři: Pitts, Andrew M.

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

Témata: PERMUTATIONS, RECURSION theory, MATHEMATICAL induction, FINITE element method, COMPUTER programming

Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting).

Zdroj: Oberwolfach Reports; 2021, p1693-1757, 65p

Témata: MATHEMATICAL logic, ABSTRACT algebra, PROOF theory, LOGIC, COMPUTATIONAL mechanics

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Jul1982, Vol. 25 Issue 7, p487-492, 6p

Témata: SEQUENTIAL machine theory, REDUCED instruction set computers, MICROELECTRONICS, INTEGRATED circuits

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)

Automatic differentiation for ML-family languages: Correctness via logical relations.

Autoři: Lucatelli Nunes, Fernando Vákár, Matthijs

Zdroj: Mathematical Structures in Computer Science; Sep2025, Vol. 34 Issue 7, p747-806, 60p

Témata: PROGRAMMING language semantics, LOGIC, PROGRAM transformation, AUTOMATIC differentiation, PROGRAMMING languages

Abstract complexity theory and the mind-machine problem.

Autoři: Lyngzeidetson, Albert E. Solomon, Martin K.

Zdroj: British Journal for the Philosophy of Science; Jun94, Vol. 45 Issue 2, p549, 6p

Témata: GODEL'S theorem, AUTOMATIC theorem proving

Recursion in programs, thought, and language.

Autoři: Johnson-Laird, P. N. Bucciarelli, Monica Mackiewicz, Robert a další

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

Témata: RECURSIVE functions, RECURSION theory, KOLMOGOROV complexity, NATURAL languages, SHORT-term memory

History of Abstract Interpretation.

Autoři: Giacobazzi, Roberto Ranzato, Francesco

Zdroj: IEEE Annals of the History of Computing; Apr-Jun2022, Vol. 44 Issue 2, p33-43, 11p

Témata: PROGRAMMING languages, MATHEMATICAL models

Probabilities on Cones of Multimatrix Variate Distributions and Elliptical Affine Shape Distributions Under Real Normed Division Algebras.

Autoři: Caro-Lopera, Francisco J. Díaz-García, José A.

Zdroj: Sankhya A; Aug2025, Vol. 87 Issue 2, p349-377, 29p

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

Autoři: Paul J. Sanders David B. A. Epstein

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

Témata: 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 souboru: application/xml

Pří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 higher-order implementation of rewriting

Autoři: Lawrence C. Paulson

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

Témata: 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 souboru: application/xml

Pří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

Abstract allocation as a unified approach to polyvariance in control-flow analyses.

Autoři: GILRAY, THOMAS ADAMS, MICHAEL D. MIGHT, MATTHEW

Zdroj: Journal of Functional Programming; 2018, Vol. 28, pN.PAG-N.PAG, 46p

Témata: VARIANCES, MACHINE theory, DATA analysis, SEMANTICS, COMPUTER science

Robert Rosen's Relational Biology Theory and His Emphasis on Non-Algorithmic Approaches to Living Systems.

Autoři: Lane, Patricia A.

Zdroj: Mathematics (2227-7390); Nov2024, Vol. 12 Issue 22, p3529, 29p

Témata: INCOMPLETENESS theorems, MATHEMATICAL category theory, GRAPH theory, MATHEMATICIANS, MODEL theory

Structured Dynamics in the Algorithmic Agent.

Autoři: Ruffini, Giulio Castaldo, Francesca Vohryzek, Jakub

Zdroj: Entropy; Jan2025, Vol. 27 Issue 1, p90, 54p

Témata: COMPUTATIONAL intelligence, NOETHER'S theorem, INFORMATION theory, GROUP theory, KOLMOGOROV complexity, MIRROR neurons

CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FOR ABSTRACT MATHEMATICS.

Autoři: MARQUIS, JEAN-PIERRE

Zdroj: Review of Symbolic Logic; Mar2013, Vol. 6 Issue 1, p51-75, 25p

Témata: ABSTRACT thought, MATHEMATICAL category theory, ALGEBRA, GEOMETRY, FIRST-order logic

A Survey of Nature-Inspired Computing: Membrane Computing.

Autoři: BOSHENG SONG KENLI LI ORELLANA-MARTÍN, DAVID a další

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

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

Exploring the philosophical perspectives of future robots.

Autoři: Guilherme, Anthony Costa, José Félix

Zdroj: International Journal of Parallel, Emergent & Distributed Systems; Jan2025, Vol. 40 Issue 1, p21-58, 38p

Témata: PHILOSOPHY of science, SCIENTIFIC method, ARTIFICIAL intelligence, PRINCIPLE (Philosophy), MACHINE learning