Search results for "Semicomputable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
123	Pieter Collins	Optimal Semicomputable Approximations to Reachable and Invariant Sets.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
100	George Barmpalias	Hypersimplicity and semicomputability in the weak truth table degrees.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Hypersimple, Semicomputable, Weak Truth Table Degrees
61	Jan A. Bergstra, John V. Tucker	Equational Specifications, Complete Term Rewriting Systems, and Computable and Semicomputable Algebras.	J. ACM	1995	DBLP DOI BibTeX RDF	computable and semicomputable algebras, equational specifications with hidden functions, many sorted algebras
61	Bruno Bauwens	Upper semicomputable sumtests for lower semicomputable semimeasures.	CoRR	2013	DBLP BibTeX RDF
46	Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino	A Functorial Framework for Constraint Normal Logic Programming.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 18C50, 68Q55
46	Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino	A Functorial Framework for Constraint Normal Logic Programming.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
31	Ming Li 0001, Paul M. B. Vitányi	A Theory of Learning Simple Concepts Under Simple Distributions and Average Case Complexity for the Universal Distribution (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	simple concepts, simple distributions, universal distribution, intuitive notion, semicomputable distribution, learnable classes, learning algorithms, learning theory, inputs, average case complexity, worst-case complexity
31	Daniel Coronel, Alexander Frank, Mathieu Hoyrup, Cristobal Rojas	Realizing semicomputable simplices by computable dynamical systems.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
31	Vedran Cacic, Marko Horvat, Zvonko Iljazovic	Computable subcontinua of semicomputable chainable Hausdorff continua.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
31	Eugen Cickovic, Zvonko Iljazovic, Lucija Validzic	Chainable and circularly chainable semicomputable sets in computable topological spaces.	Arch. Math. Log.	2019	DBLP DOI BibTeX RDF
31	Mathieu Hoyrup, Donald M. Stull	Semicomputable Points in Euclidean Spaces.	MFCS	2019	DBLP DOI BibTeX RDF
31	Zvonko Iljazovic, Igor Susic	Semicomputable manifolds in computable topological spaces.	J. Complex.	2018	DBLP DOI BibTeX RDF
31	Mathieu Hoyrup, Diego Nava Saucedo, Don M. Stull	Semicomputable Geometry.	ICALP	2018	DBLP DOI BibTeX RDF
31	Zvonko Iljazovic, Igor Susic	Computability of semicomputable manifolds in computable topological spaces.	CoRR	2017	DBLP BibTeX RDF
31	Zvonko Iljazovic, Lucija Validzic	Computable neighbourhoods of points in semicomputable manifolds.	Ann. Pure Appl. Log.	2017	DBLP DOI BibTeX RDF
31	Bo Xie, Ming Quan Fu, Jeffery I. Zucker	Characterizations of semicomputable sets of real numbers.	J. Log. Algebraic Methods Program.	2015	DBLP DOI BibTeX RDF
31	Laurent Bienvenu, Alexander Shen	Random Semicomputable Reals Revisited.	Computation, Physics and Beyond	2012	DBLP DOI BibTeX RDF
31	Sebastiaan Terwijn, Leen Torenvliet, Paul M. B. Vitányi	Normalized Information Distance is Not Semicomputable	CoRR	2010	DBLP BibTeX RDF
31	John V. Tucker, Jeffery I. Zucker	Projections of Semicomputable Relations on Abstract Data Tzpes.	Int. J. Found. Comput. Sci.	1991	DBLP DOI BibTeX RDF
31	John V. Tucker, Jeffery I. Zucker	Examples of Semicomputable Sets of Real and Complex Numbers.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
31	John V. Tucker, Jeffery I. Zucker	Horn Programs and Semicomputable Relations on Abstract Structures.	ICALP	1989	DBLP DOI BibTeX RDF
31	Jan A. Bergstra, John V. Tucker	Algebraic Specifications of Computable and Semicomputable Data Types.	Theor. Comput. Sci.	1987	DBLP DOI BibTeX RDF
31	Gabriele Marongiu, Sauro Tulipani	Finite Algebraic Specifications of Semicomputable Data Types.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
23	Vladimir V. V'yugin	On Empirical Meaning of Randomness with Respect to a Real Parameter.	CSR	2007	DBLP DOI BibTeX RDF
23	Jan A. Bergstra	Elementary Algebraic Specifications of the Rational Function Field.	CiE	2006	DBLP DOI BibTeX RDF
23	Dag Normann	Continuity, proof systems and the theory of transfinite computations.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
23	Péter Gács	Quantum Algorithmic Entropy.	CCC	2001	DBLP DOI BibTeX RDF
23	Jan A. Bergstra, Manfred Broy, John V. Tucker, Martin Wirsing	On the Power of Algebraic Specifications.	MFCS	1981	DBLP DOI BibTeX RDF