Search results for "Constructibility"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
93	Masahiro Hachimori	Nonconstructible Simplicial Balls and a Way of Testing Constructibility.	Discret. Comput. Geom.	1999	DBLP DOI BibTeX RDF
71	Viliam Geffert	Nondeterministic Computations in Sublogarithmic Space and Space Constructibility. (journal version: SIAM J. Comput. 20(3): 484-498(1991))	ICALP	1990	DBLP DOI BibTeX RDF
49	Arnon Avron	From Constructibility and Absoluteness to Computability and Domain Independence.	CiE	2006	DBLP DOI BibTeX RDF
49	William R. Buckley, Amar Mukherjee	Constructibility of Signal-Crossing Solutions in von Neumann 29-State Cellular Automata.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
36	Philip D. Welch	On unfoldable cardinals, omega-closed cardinals, and the beginning of the inner model hierarchy.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Large cardinals, Inner models, Descriptive set theory, Constructibility
26	Francisco F. C. Rego	Distributed observers for LTV systems: A distributed constructibility gramian based approach.	Autom.	2023	DBLP DOI BibTeX RDF
26	Francesco Riz, Luigi Palopoli 0002, Daniele Fontanelli	On Local/Global Constructibility for Mobile Robots Using Bounded Range Measurements.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
26	Bacem Ben Nasser, Mohamed Djemai, Michael Defoort, Taous-Meriem Laleg-Kirati	Time scale observability and constructibility of linear dynamic equations.	Int. J. Control	2022	DBLP DOI BibTeX RDF
26	Tong Zhou	Constructibility of a causal/impulse free NDS using descriptor form subsystems.	Sci. China Inf. Sci.	2022	DBLP DOI BibTeX RDF
26	Corey Bacal Switzer	The Cichoń diagram for degrees of relative constructibility.	Math. Log. Q.	2020	DBLP DOI BibTeX RDF
26	Marika Izawa, Toshiyuki Miyamoto	A Study on Re-Constructibility of Event Structures.	IEICE Trans. Inf. Syst.	2020	DBLP DOI BibTeX RDF
26	Pascal Schreck, Pascal Mathis	Using jointly geometry and algebra to determine RC-constructibility.	J. Symb. Comput.	2019	DBLP DOI BibTeX RDF
26	Keith J. Devlin	Constructibility		2017	DOI RDF
26	Saeed Salehi, Payam Seraji	Constructibility and Rosserizability of the Proofs of Boolos and Chaitin for Godel's Incompleteness Theorem.	CoRR	2016	DBLP BibTeX RDF
26	Pascal Schreck, Vesna Marinkovic, Predrag Janicic	Constructibility Classes for Triangle Location Problems.	Math. Comput. Sci.	2016	DBLP DOI BibTeX RDF
26	Pascal Schreck, Pascal Mathis	Automatic Constructibility Checking of a Corpus of Geometric Construction Problems.	Math. Comput. Sci.	2016	DBLP DOI BibTeX RDF
26	Antti Valmari	On constructibility and unconstructibility of LTS operators from other LTS operators.	Acta Informatica	2015	DBLP DOI BibTeX RDF
26	Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama	Aspects of Curry Algebras, Computability, Constructibility, and Topological Spaces.	KES	2012	DBLP BibTeX RDF
26	Arnon Avron	Constructibility and decidability versus domain independence and absoluteness.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
26	Peter Koepke, Ryan Siders	Minimality considerations for ordinal computers modeling constructibility.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
26	Martín Matamala	Constructibility of speed one signal on cellular automata.	Discret. Math.	2003	DBLP DOI BibTeX RDF
26	Masahiro Hachimori	Deciding constructibility of 3-balls with at most two interior vertices.	Discret. Math.	2001	DBLP DOI BibTeX RDF
26	Anton Leykin	Constructibility of the Set of Polynomials with a Fixed Bernstein-Sato Polynomial: an Algorithmic Approach.	J. Symb. Comput.	2001	DBLP DOI BibTeX RDF
26	Thomas G. Kucera, Philipp Rothmaler	Pure-Projective Modules and Positive Constructibility.	J. Symb. Log.	2000	DBLP DOI BibTeX RDF
26	Bruce Edmonds	The Constructibility of Artificial Intelligence (as Defined by the Turing Test).	J. Log. Lang. Inf.	2000	DBLP DOI BibTeX RDF
26	Xiao-Shan Gao, Shang-Ching Chou	Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility.	Comput. Aided Des.	1998	DBLP DOI BibTeX RDF
26	J. Harrison	On properties of edtol and rwdol languages and the constructibility of finite morphic refinements.	Int. J. Comput. Math.	1995	DBLP DOI BibTeX RDF
26	Lech T. Polkowski, Maria Semeniuk-Polkowska	On Rough Mereological Constructibility: Anaphorically Constructible Many-Object Events.	Mathematical Aspects of Natural and Formal Languages	1994	DBLP DOI BibTeX RDF
26	Antonín Sochor	Constructibility in higher order arithmetics.	Arch. Math. Log.	1993	DBLP DOI BibTeX RDF
26	Haim Judah, Saharon Shelah	Forcing Minimal Degree of Constructibility.	J. Symb. Log.	1991	DBLP DOI BibTeX RDF
26	Viliam Geffert	Nondeterministic Computations in Sublogarithmic Space and Space Constructibility.	SIAM J. Comput.	1991	DBLP DOI BibTeX RDF
26	Zbigniew Stachniak	Note on Effective Constructibility of Resolution Proof Systems.	JELIA	1990	DBLP DOI BibTeX RDF
26	George Loizou, Peter Thanisch	Losslessness and Project-Join Constructibility in Relational Databases.	Acta Informatica	1987	DBLP DOI BibTeX RDF
26	Mark Levene, George Loizou	Project join constructibility for NF2 relational databases.	BDA	1987	DBLP BibTeX RDF
26	Philip D. Welch	The Natural Hierarchy and Quasi-Hierarchy of Constructibility Degrees.	J. Symb. Log.	1986	DBLP DOI BibTeX RDF
26	Kojiro Kobayashi	On Proving Time Constructibility of Functions.	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
26	Christina M. Mynhardt, Izak Broere	G-constructibility of planar graphs.	J. Graph Theory	1980	DBLP DOI BibTeX RDF
26	William J. Mitchell 0002	Ramsey Cardinals and Constructibility.	J. Symb. Log.	1979	DBLP DOI BibTeX RDF
26	Bohuslav Balcar, Petr Hájek 0001	On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75).	Math. Log. Q.	1978	DBLP DOI BibTeX RDF
26	Zofia Adamowicz	On Finite Lattices of Degrees of Constructibility.	J. Symb. Log.	1977	DBLP DOI BibTeX RDF
26	Zofia Adamowicz	On Finite Lattices of Degrees of Constructibility of Reals.	J. Symb. Log.	1976	DBLP DOI BibTeX RDF
26	Takeo Yaku	The Constructibility of a Configuration in a Cellular automaton.	J. Comput. Syst. Sci.	1973	DBLP DOI BibTeX RDF
26	Frank G. Pagan	Representation and constructibility of semantic relations.		1972	RDF
26	Richard L. Poss	Weak forms of the axiom of constructibility.	Notre Dame J. Formal Log.	1971	DBLP DOI BibTeX RDF
26	Richard L. Poss	Measurable cardinals and constructibility without regularity.	Notre Dame J. Formal Log.	1971	DBLP DOI BibTeX RDF
26	Azriel Levy	A Generalization of Godel's Notion of Constructibility.	J. Symb. Log.	1960	DBLP DOI BibTeX RDF
26	John R. Myhill	Criteria of Constructibility for Real Numbers.	J. Symb. Log.	1953	DBLP DOI BibTeX RDF
26	J. Barkley Rosser	Constructibility as a Criterion for Existence.	J. Symb. Log.	1936	DBLP DOI BibTeX RDF
22	Stephan Kreutzer	On the Parameterised Intractability of Monadic Second-Order Logic.	CSL	2009	DBLP DOI BibTeX RDF
22	Alexandre Devert, Nicolas Bredèche, Marc Schoenauer	Blindbuilder: A New Encoding to Evolve Lego-Like Structures.	EuroGP	2006	DBLP DOI BibTeX RDF
22	Yan Jin 0009, I-Ming Chen, Guilin Yang	Structure Synthesis and Singularity Analysis of a Parallel Manipulator based on Selective Actuation.	ICRA	2004	DBLP DOI BibTeX RDF
22	Yevgeniy Dodis, Amit Sahai, Adam D. Smith	On Perfect and Adaptive Security in Exposure-Resilient Cryptography.	EUROCRYPT	2001	DBLP DOI BibTeX RDF
22	Viliam Geffert	Bridging Across the log(n) Space Frontier.	MFCS	1995	DBLP DOI BibTeX RDF
22	Juris Hartmanis, Desh Ranjan	Space Bounded Computations: Review And New Separation Results.	MFCS	1989	DBLP DOI BibTeX RDF
22	Larry Wos, William McCune	Challenge Problems Focusing on Equality and Combinatory Logic: Evaluating Automated Theorem-Proving Programs.	CADE	1988	DBLP DOI BibTeX RDF