Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
90 | Michael R. Fellows, Michael A. Langston |
Constructivity Issues in Graph Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![In: Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings, pp. 150-158, 1991, Springer, 3-540-55631-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
90 | Klaus Weihrauch |
A Simple and Powerful Approach for Studying Constructivity, Computability, and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![In: Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings, pp. 228-246, 1991, Springer, 3-540-55631-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
69 | Alexander Semenov |
On Connection Between Constructive Involutive Divisions and Monomial Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 261-278, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
69 | Kedar S. Namjoshi, Robert P. Kurshan |
Efficient Analysis of Cyclic Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings, pp. 394-405, 1999, Springer, 3-540-66202-2. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![Springer, 3-540-55631-1 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
61 | J. Paul Myers Jr., Ronald E. Prather |
The Type Structure of CAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![In: Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings, pp. 218-227, 1991, Springer, 3-540-55631-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
61 | Jawahar Chirimar, Douglas J. Howe |
Implementing Constructive Real Analysis: Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![In: Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings, pp. 165-178, 1991, Springer, 3-540-55631-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
61 | Jianguo Lu, Jiafu Xu |
Development Transformation Based on Higher Order Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![In: Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings, pp. 58-70, 1991, Springer, 3-540-55631-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
61 | Vipin Swarup, Uday S. Reddy |
A Logical View of Assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![In: Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings, pp. 131-149, 1991, Springer, 3-540-55631-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
61 | Chetan R. Murthy |
Classical Proofs as Programs: How, What, and Why. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![In: Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings, pp. 71-88, 1991, Springer, 3-540-55631-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
61 | John V. Tucker, Jeffery I. Zucker |
Examples of Semicomputable Sets of Real and Complex Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![In: Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings, pp. 179-198, 1991, Springer, 3-540-55631-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
61 | Scott F. Smith 0001 |
Reflective Semantics of Constructive Type Theory: Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![In: Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings, pp. 33-45, 1991, Springer, 3-540-55631-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
61 | Simon J. Thompson |
Are Subsets Necessary in Martin-Löf Type Theory? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![In: Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings, pp. 46-57, 1991, Springer, 3-540-55631-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
61 | James Lipton |
Kripke Semantics for Dependent Type Theory and Realizability Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![In: Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings, pp. 22-32, 1991, Springer, 3-540-55631-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
61 | Newcomb Greenleaf |
Bringing Mathematics Education into the Algorithmic Age. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![In: Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings, pp. 199-217, 1991, Springer, 3-540-55631-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
61 | Maria Napierala |
Classical Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![In: Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings, pp. 89-107, 1991, Springer, 3-540-55631-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
61 | Stuart A. Kurtz, John C. Mitchell, Michael J. O'Donnell |
Connecting Formal Semantics to Constructive Intuitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![In: Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings, pp. 1-21, 1991, Springer, 3-540-55631-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
61 | Yong Sun |
Axiomatization of Calculus of Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![In: Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings, pp. 108-130, 1991, Springer, 3-540-55631-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
61 | Thierry Coquand |
Constructive Topology and Combinatorics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constructivity in Computer Science ![In: Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings, pp. 159-164, 1991, Springer, 3-540-55631-1. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Anal. ![In: J. Log. Anal. 9, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
53 | Heinrich Herre, David Pearce 0001 |
Disjunctive Logic Programming, Constructivity and Strong Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings, pp. 391-410, 1992, Springer, 3-540-55887-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
36 | David A. Basin |
An Environment For Automated Reasoning About Partial Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings, pp. 101-110, 1988, Springer, 3-540-19343-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 62(1), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Máté Szabó |
Péter on Church's Thesis, Constructivity and Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings, pp. 434-445, 2021, Springer, 978-3-030-80048-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Saeed Salehi, Payam Seraji |
On constructivity and the Rosser property: a closer look at some Gödelean proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 169(10), pp. 971-980, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Francesco Ranzato |
On Constructivity of Galois Connections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings, pp. 452-473, 2018, Springer, 978-3-319-73720-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 27(8), pp. 1285-1286, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Marc Bezem, Thierry Coquand, Erik Parmann |
Non-Constructivity in Kan Simplicial Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 92-106, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Erik Parmann |
Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 21st International Conference on Types for Proofs and Programs, TYPES 2015, May 18-21, 2015, Tallinn, Estonia, pp. 8:1-8:25, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-030-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | A. S. Semenov |
On constructivity of involutive divisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 32(2), pp. 96-102, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Matthias Baaz |
Note on Conditional Constructivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Proof-theoretic Aspects of Non-classical Logics ![In: Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday, pp. 25-29, 2006, Springer, 978-3-540-75938-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 11(12), pp. 1863-1865, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
30 | Silvio Valentini |
Extensionality Versus Constructivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 48(2), pp. 179-187, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Ulrich Kohlenbach |
Relative Constructivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 63(4), pp. 1218-1238, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | James T. Sasaki |
A Type Theory with Mixed Constructivity and Assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 5(3), pp. 1-37, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Doru Stefanescu |
Polynamials, Constructivity and Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 2(5), pp. 396-409, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
30 | James T. Sasaki |
Efficient Verified Programs in a Typed Theory with Mixed Constructivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 5(5), pp. 669-689, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
30 | Andrzej Orlicki |
Constructivity of Endofunctors on Categories of Partial Enumerated Sets I. General Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 37(19-22), pp. 307-316, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
30 | Andrzej Orlicki |
Constructivity of Endofunctors on Categories of Partial Enumerated Sets II. Some Important Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 37(26-30), pp. 439-452, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
30 | Arvind Gupta |
Constructivity issues in tree minors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1991 |
RDF |
|
30 | Klaus Weihrauch |
Constructivity, Computability, and Computational Complexity in Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, International Conference FCT'89, Szeged, Hungary, August 21-25, 1989, Proceedings, pp. 480-493, 1989, Springer, 3-540-51498-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Timothy Y. Chow |
Almost-Natural Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, October 25-28, 2008, Philadelphia, PA, USA, pp. 86-91, 2008, IEEE Computer Society, 978-0-7695-3436-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Gaëlle Fontaine |
Continuous Fragment of the mu-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 139-153, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 1-15, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Vladimir P. Gerdt, Yuri A. Blinkov |
Janet-Like Monomial Division. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 174-183, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino |
Tableau Calculi for the Logics of Finite k-Ary Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings, pp. 115-129, 2002, Springer, 3-540-43929-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | James Lipton, Michael J. O'Donnell |
Intuitive Counterexamples for Constructive Fallacies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings, pp. 87-111, 1994, Springer, 3-540-58338-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|