Výsledky vyhľadávania - ((abstract OR abstracts) OR abstracts) and axiomatic computability and recursion theory

Execution trace sets for real computation

Autori: Declan Thompson

Zdroj: Theoretical Computer Science. 940:2-17

Predmety: general algorithms, Blum-Shub-Smale machine, real computation, 0102 computer and information sciences, 0101 mathematics, Computation over the reals, computable analysis, Abstract and axiomatic computability and recursion theory, 01 natural sciences, trace semantics

Popis súboru: application/xml

Separations by random oracles and 'Almost' classes for generalized reducibilities: Extended abstract

Autori: Yongge Wang Wolfgang Merkle

Zdroj: Lecture Notes in Computer Science ISBN: 9783540602460

Predmety: Complexity of computation (including implicit computational complexity), measurable classes of sets, Other degrees and reducibilities in computability and recursion theory, Complexity classes (hierarchies, relations among complexity classes, etc.), Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), resource-bounded reducibilities, random oracles, almost classes, generalized reducibilities, 16. Peace & justice, Abstract and axiomatic computability and recursion theory

Popis súboru: application/xml

Prístupová URL adresa: https://dialnet.unirioja.es/servlet/articulo?codigo=2805273
https://dblp.uni-trier.de/db/journals/mlq/mlq47.html#MerkleW01
https://link.springer.com/chapter/10.1007%2F3-540-60246-1_124
https://dblp.uni-trier.de/db/conf/mfcs/mfcs95.html#MerkleW95
https://philpapers.org/rec/WANSBR
https://math.uni-heidelberg.de/logic/merkle/final-versions/MLQ-almost.pdf
https://rd.springer.com/chapter/10.1007/3-540-60246-1_124

Lattice Embeddings for Abstract Bounded Reducibilities: Lattice embeddings for abstract bounded reducibilities

Autori: Wolfgang Merkle

Zdroj: SIAM Journal on Computing. 31:1119-1155

Predmety: Complexity of computation (including implicit computational complexity), Other degrees and reducibilities in computability and recursion theory, Complexity classes (hierarchies, relations among complexity classes, etc.), embeddings of partial orderings, resource-bounded reducibilities, abstract reducibilities, 0102 computer and information sciences, embeddings of distributive lattices, 0101 mathematics, Abstract and axiomatic computability and recursion theory, 01 natural sciences, Theory of numerations, effectively presented structures

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/1732383
https://doi.org/10.1137/s0097539701385958
https://dblp.uni-trier.de/db/journals/siamcomp/siamcomp31.html#Merkle02
https://epubs.siam.org/doi/10.1137/S0097539701385958
https://doi.org/10.1137/S0097539701385958

Selection in abstract recursion theory

Autori: David B. MacQueen Leo Harrington

Zdroj: The Journal of Symbolic Logic. 41:153-158

Predmety: Prime Computability, 0101 mathematics, Abstract and axiomatic computability and recursion theory, Selection, Abstract Recursion Theory, 01 natural sciences

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/3636014
https://doi.org/10.2307/2272954
https://dblp.uni-trier.de/db/journals/jsyml/jsyml41.html#HarringtonM76
https://www.cambridge.org/core/product/identifier/S0022481200051847/type/journal_article
https://philpapers.org/rec/HARSIA-2
https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/selection-in-abstract-recursion-theory/56BD15204AB479AEC673AA845BE8F7F9
https://www.jstor.org/stable/2272954

Computation on abstract data types. The extensional approach, with an application to streams

Autori: Solomon Feferman

Zdroj: Annals of Pure and Applied Logic. 81:75-113

Predmety: general theory of computation, Logic, generalized recursion theory, 0102 computer and information sciences, many-sorted functional structures, 0101 mathematics, Symbolic computation and algebraic computation, Abstract and axiomatic computability and recursion theory, 01 natural sciences, \(A\)-stream computation, Abstract data types, algebraic specification, abstract data types

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/933091
https://doi.org/10.1016/0168-0072(96)88189-9
http://math.stanford.edu/~feferman/papers/streams.pdf
https://www.sciencedirect.com/science/article/abs/pii/0168007296881899
https://dblp.uni-trier.de/db/journals/apal/apal81.html#Feferman96
https://www.sciencedirect.com/science/article/pii/0168007296881899
https://core.ac.uk/display/82118781

Deterministic and nondeterministic computation, and horn programs, on abstract data types: Deterministic and nondeterministic computation, and Horn programs, on abstract data types

Autori: John V. Tucker Jeffery I. Zucker

Zdroj: The Journal of Logic Programming. 13:23-55

Predmety: Logic in artificial intelligence, Applications of universal algebra in computer science, Horn programs, definability of relations on abstract structures, Logic, semicomputability, partial computable functions, 0102 computer and information sciences, computability over abstract structures, 0101 mathematics, Abstract and axiomatic computability and recursion theory, 01 natural sciences, Abstract data types, algebraic specification

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/39272
https://doi.org/10.1016/0743-1066(92)90020-4
https://dblp.uni-trier.de/db/journals/jlp/jlp13.html#TuckerZ92
https://www.sciencedirect.com/science/article/pii/0743106692900204
https://core.ac.uk/display/82252787
http://www.sciencedirect.com/science/article/pii/0743106692900204

Abstract Computability and Invariant Definability: Abstract computability and invariant definability

Autori: Yiannis N. Moschovakis

Zdroj: The Journal of Symbolic Logic. 34:605-633

Predmety: 0101 mathematics, Abstract and axiomatic computability and recursion theory, 01 natural sciences

Popis súboru: application/xml

Prístupová URL adresa: https://projecteuclid.org/euclid.jsl/1183736954
https://www.jstor.org/stable/2270854
https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abstract-computability-and-invariant-definability/71A96A8538C400F8FDED3EBF0C98E0BA
https://philpapers.org/rec/MOSACA-2
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S002248120009318X
https://dblp.uni-trier.de/db/journals/jsyml/jsyml34.html#Moschovakis69a

Categorial generalization of algebraic recursion theory

Autori: J. Zashev

Zdroj: Journal of Pure and Applied Algebra. 101:91-128

Predmety: Logic in computer science, Algebra and Number Theory, least fixpoints, multi-endofunctors, operation spaces, category of logical programs and correctness proofs, Theories (e.g., algebraic theories), structure, and semantics, 0102 computer and information sciences, 01 natural sciences, fixpoints in categories, category of abstract programs and correctness proofs, point-free recursion theory, 0101 mathematics, Abstract and axiomatic computability and recursion theory, Categorical logic, topoi

Popis súboru: application/xml

Prístupová URL adresa: https://www.sciencedirect.com/science/article/pii/0022404993E01846

Diagonal fixed points in algebraic recursion theory

Autori: Jordan Zashev

Zdroj: Archive for Mathematical Logic. 44:973-994

Predmety: intensional combinatory space, algebraic recursion theory, Combinatory logic and lambda calculus, combinatory logic, 0101 mathematics, Abstract and axiomatic computability and recursion theory, 01 natural sciences, fixed-point theorems

Popis súboru: application/xml

Prístupová URL adresa: https://dblp.uni-trier.de/db/journals/aml/aml44.html#Zashev05
https://link.springer.com/content/pdf/10.1007%2Fs00153-005-0307-x.pdf
https://link.springer.com/article/10.1007/s00153-005-0307-x

Arithmetical Foundations Recursion. Evaluation. Consistency Excerpt

Autori: Pfender, Michael

Predmety: 510 Mathematik, categorical logic, topoi, foundations of classical theories, abstract and axiomatic computability and recursion theory

Popis súboru: application/pdf

Dostupnosť: https://depositonce.tu-berlin.de/handle/11303/15764
https://doi.org/10.14279/depositonce-14537

A type free abstract structure for the recursion theory

Autori: Zashev, J.

Predmety: BCK-algebras, BCI-algebras, abstract algebraic recursion theory, partially ordered BCI-algebras, recursive elements, Abstract and axiomatic computability and recursion theory

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/179038

Abstract Hierarchies and Degrees

Autori: Ivanov, Ljubomir L.

Zdroj: The Journal of Symbolic Logic, 1989 Mar 01. 54(1), 16-25.

Prístupová URL adresa: https://www.jstor.org/stable/2275011

Algebraic aspects of abstract computability theory

Autori: Solov'ev, V. D.

Predmety: computational theory over a structure, abstract structures, automorphisms, Theory of computing, completeness criterion, abstract computability, algebraic properties, algebra of recursive functions and predicates, Abstract and axiomatic computability and recursion theory

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/23020

On the recursion theorem in iterative operative spaces

Autori: J. Zashev

Zdroj: Journal of Symbolic Logic. 66:1727-1748

Predmety: algebraic recursion theory, iterative operative spaces, abstract partially ordered algebras, Combinatory logic and lambda calculus, recursion theorem, 0102 computer and information sciences, combinatory logic, 0101 mathematics, 16. Peace & justice, 10. No inequality, Abstract and axiomatic computability and recursion theory, 01 natural sciences

Popis súboru: application/xml

Prístupová URL adresa: https://dblp.uni-trier.de/db/journals/jsyml/jsyml66.html#Zashev01
https://www.jstor.org/stable/2694971

Boldface Recursion on Platek Spaces: Boldface recursion on Platek spaces

Autori: Ivanov, Lyubomir

Zdroj: Fundamenta Informaticae. 44:183-208

Predmety: computability, combinatory algebra, Platek spaces, models of a typed lambda-mu calculus, monotonic hierarchies of operative spaces, Combinatory logic and lambda calculus, boldface recursion, generalized recursion theory, lambda-abstraction, Abstract and axiomatic computability and recursion theory

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/1546506

Computational Fortmalism: Abstract Combinatory View-Point and Related First Order Logical Framework: Computational formalism: Abstract combinatory view-point and related first order logical framework

Autori: MANCA, Vincenzo

Zdroj: Fundamenta Informaticae. 4:3-18

Predmety: uniformly reflexive structures, partial functions, Combinatory logic and lambda calculus, limitative theorems, 0102 computer and information sciences, algebraic approach, Combinatorial Formalisms, Logical frameworks, Abstract and axiomatic computability and recursion theory, 7. Clean energy, 01 natural sciences, Abstract data types, algebraic specification, Recursive functions and relations, subrecursive hierarchies

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/3733895
https://content.iospress.com/articles/fundamenta-informaticae/fi4-1-02
https://dblp.uni-trier.de/db/journals/fuin/fuin4.html#Manca81
https://hdl.handle.net/11562/300577

Axiomatic recursion theory and the continuous functionals

Autori: Simon Thompson

Zdroj: Journal of Symbolic Logic. 50:442-450

Predmety: Higher-type and set recursion theory, Kleene computations, higher type computation theory, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, countable recursion, 15. Life on land, Abstract and axiomatic computability and recursion theory, 01 natural sciences

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/3946117
https://doi.org/10.2307/2274232
https://projecteuclid.org/handle/euclid.jsl/1183741850
https://www.jstor.org/stable/2274232
http://projecteuclid.org/handle/euclid.jsl/1183741850
https://dblp.uni-trier.de/db/journals/jsyml/jsyml50.html#Thompson85

More existence theorems for recursion categories: More existence theorems for recursion categories.

Autori: Florian Lengyel

Zdroj: Annals of Pure and Applied Logic. 125:1-41

Predmety: Computability, \(P\)-category, Logic, Special categories, Recursion category, 0102 computer and information sciences, 01 natural sciences, Coalgebra, Foundations, relations to logic and deductive systems, Turing morphism, 0101 mathematics, P-category, Abstract and axiomatic computability and recursion theory, Categorical logic, topoi

Popis súboru: application/xml

Computability Over Structures of Infinite Signature: Computability over structures of infinite signature

Autori: Armin Hemmerling

Zdroj: Mathematical Logic Quarterly. 44:394-416

Predmety: effective codability, Turing machines and related notions, model of computation for string functions over abstract algebraic structures, arbitrary signatures, existence results, Models of computation (Turing machines, etc.), 0101 mathematics, Abstract and axiomatic computability and recursion theory, Blum-Shub-Smale model, 01 natural sciences

Popis súboru: application/xml

Prístupová URL adresa: https://dblp.uni-trier.de/db/journals/mlq/mlq44.html#Hemmerling98a
https://onlinelibrary.wiley.com/doi/10.1002/malq.19980440311

Iteration Theories of Synchronization Trees: Iteration theories of synchronization trees

Autori: Stephen L. Bloom Zoltán Ésik Dirk Taubner

Zdroj: Workshops in Computing ISBN: 9783540196259

Predmety: Logic in computer science, synchronization theories, branching time semantics, Semantics in the theory of computing, synchronization trees, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), \(\omega\)-continuous 2-theory, 0102 computer and information sciences, 01 natural sciences, Theoretical Computer Science, Computer Science Applications, bisimulation equivalence classes, Computational Theory and Mathematics, 0101 mathematics, Abstract and axiomatic computability and recursion theory, iteration theories, Information Systems

Popis súboru: application/xml

Prístupová URL adresa: https://link.springer.com/chapter/10.1007/978-1-4471-3860-0_7
https://www.sciencedirect.com/science/article/pii/S0890540183710011
https://core.ac.uk/display/82705390
https://rd.springer.com/chapter/10.1007/978-1-4471-3860-0_7