Search results for "constructivity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
90	Michael R. Fellows, Michael A. Langston	Constructivity Issues in Graph Algorithms.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
90	Klaus Weihrauch	A Simple and Powerful Approach for Studying Constructivity, Computability, and Complexity.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
69	Alexander Semenov	On Connection Between Constructive Involutive Divisions and Monomial Orderings.	CASC	2006	DBLP DOI BibTeX RDF
69	Kedar S. Namjoshi, Robert P. Kurshan	Efficient Analysis of Cyclic Definitions.	CAV	1999	DBLP DOI BibTeX RDF
61	J. Paul Myers Jr., Michael J. O'Donnell (eds.)	Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings	Constructivity in Computer Science	1992	DBLP DOI BibTeX RDF
61	J. Paul Myers Jr., Ronald E. Prather	The Type Structure of CAT.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
61	Jawahar Chirimar, Douglas J. Howe	Implementing Constructive Real Analysis: Preliminary Report.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
61	Jianguo Lu, Jiafu Xu	Development Transformation Based on Higher Order Type Theory.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
61	Vipin Swarup, Uday S. Reddy	A Logical View of Assignments.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
61	Chetan R. Murthy	Classical Proofs as Programs: How, What, and Why.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
61	John V. Tucker, Jeffery I. Zucker	Examples of Semicomputable Sets of Real and Complex Numbers.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
61	Scott F. Smith 0001	Reflective Semantics of Constructive Type Theory: Preliminary Report.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
61	Simon J. Thompson	Are Subsets Necessary in Martin-Löf Type Theory?	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
61	James Lipton	Kripke Semantics for Dependent Type Theory and Realizability Interpretations.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
61	Newcomb Greenleaf	Bringing Mathematics Education into the Algorithmic Age.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
61	Maria Napierala	Classical Type Theory.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
61	Stuart A. Kurtz, John C. Mitchell, Michael J. O'Donnell	Connecting Formal Semantics to Constructive Intuitions.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
61	Yong Sun	Axiomatization of Calculus of Constructions.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
61	Thierry Coquand	Constructive Topology and Combinatorics.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
59	Andrej Bauer, Ulrich Berger 0001, Willem L. Fouché, Dieter Spreen, Hideki Tsuiki, Martin Ziegler 0001	Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014).	J. Log. Anal.	2017	DBLP BibTeX RDF
53	Heinrich Herre, David Pearce 0001	Disjunctive Logic Programming, Constructivity and Strong Negation.	JELIA	1992	DBLP DOI BibTeX RDF
36	David A. Basin	An Environment For Automated Reasoning About Partial Functions.	CADE	1988	DBLP DOI BibTeX RDF	Automated program development, unsolvability, theorem proving, computability, type theory, constructivity, tactics, partial functions
30	Timothy McCarthy	Induction, Constructivity, and Grounding.	Notre Dame J. Formal Log.	2021	DBLP DOI BibTeX RDF
30	Máté Szabó	Péter on Church's Thesis, Constructivity and Computers.	CiE	2021	DBLP DOI BibTeX RDF
30	Saeed Salehi, Payam Seraji	On constructivity and the Rosser property: a closer look at some Gödelean proofs.	Ann. Pure Appl. Log.	2018	DBLP DOI BibTeX RDF
30	Francesco Ranzato	On Constructivity of Galois Connections.	VMCAI	2018	DBLP DOI BibTeX RDF
30	Hajime Ishihara, Margarita V. Korovina, Arno Pauly, Monika Seisenberger, Dieter Spreen	Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013.	Math. Struct. Comput. Sci.	2017	DBLP DOI BibTeX RDF
30	Marc Bezem, Thierry Coquand, Erik Parmann	Non-Constructivity in Kan Simplicial Sets.	TLCA	2015	DBLP DOI BibTeX RDF
30	Erik Parmann	Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation.	TYPES	2015	DBLP DOI BibTeX RDF
30	A. S. Semenov	On constructivity of involutive divisions.	Program. Comput. Softw.	2006	DBLP DOI BibTeX RDF
30	Matthias Baaz	Note on Conditional Constructivity.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
30	Cristian S. Calude, Hajime Ishihara	Constructivity, Computability, and Logic A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges.	J. Univers. Comput. Sci.	2005	DBLP BibTeX RDF
30	Silvio Valentini	Extensionality Versus Constructivity.	Math. Log. Q.	2002	DBLP DOI BibTeX RDF
30	Ulrich Kohlenbach	Relative Constructivity.	J. Symb. Log.	1998	DBLP DOI BibTeX RDF
30	James T. Sasaki	A Type Theory with Mixed Constructivity and Assignments.	Log. J. IGPL	1997	DBLP DOI BibTeX RDF
30	Doru Stefanescu	Polynamials, Constructivity and Randomness.	J. Univers. Comput. Sci.	1996	DBLP DOI BibTeX RDF
30	James T. Sasaki	Efficient Verified Programs in a Typed Theory with Mixed Constructivity.	J. Log. Comput.	1995	DBLP DOI BibTeX RDF
30	Andrzej Orlicki	Constructivity of Endofunctors on Categories of Partial Enumerated Sets I. General Results.	Math. Log. Q.	1991	DBLP DOI BibTeX RDF
30	Andrzej Orlicki	Constructivity of Endofunctors on Categories of Partial Enumerated Sets II. Some Important Examples.	Math. Log. Q.	1991	DBLP DOI BibTeX RDF
30	Arvind Gupta	Constructivity issues in tree minors.		1991	RDF
30	Klaus Weihrauch	Constructivity, Computability, and Computational Complexity in Analysis.	FCT	1989	DBLP DOI BibTeX RDF
23	Timothy Y. Chow	Almost-Natural Proofs.	FOCS	2008	DBLP DOI BibTeX RDF
23	Gaëlle Fontaine	Continuous Fragment of the mu-Calculus.	CSL	2008	DBLP DOI BibTeX RDF	Scott continuity, constructive fixpoints, preservation results, automata, mu-calculus
23	Thomas A. Henzinger, Joseph Sifakis	The Embedded Systems Design Challenge.	FM	2006	DBLP DOI BibTeX RDF
23	Vladimir P. Gerdt, Yuri A. Blinkov	Janet-Like Monomial Division.	CASC	2005	DBLP DOI BibTeX RDF
23	Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino	Tableau Calculi for the Logics of Finite k-Ary Trees.	TABLEAUX	2002	DBLP DOI BibTeX RDF
23	James Lipton, Michael J. O'Donnell	Intuitive Counterexamples for Constructive Fallacies.	MFCS	1994	DBLP DOI BibTeX RDF