The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Inductive definitions (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1974-1992 (18) 1993-1995 (17) 1996-1998 (15) 1999-2001 (18) 2003-2005 (23) 2006-2008 (20) 2009-2012 (16) 2013-2017 (19) 2018-2019 (11)
Publication types (Num. hits)
article(63) book(2) inproceedings(88) phdthesis(4)
Venues (Conferences, Journals, ...)
J. Symb. Log.(14) CoRR(9) CSL(8) Ann. Pure Appl. Logic(7) Arch. Math. Log.(7) ELP(7) TYPES(7) CADE(5) CiE(5) LPNMR(5) ICLP(4) POPL(4) ACM Trans. Comput. Log.(3) APLAS(3) LPAR(3) Math. Log. Q.(3) More (+10 of total 63)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 37 occurrences of 26 keywords

Results
Found 157 publication records. Showing 157 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
172Peter Dybjer, Anton Setzer Indexed Induction-Recursion. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Dependent type theory, Martin-Löf Type Theory, inductive-recursive definitions, inductive families, normalization proofs, generic programming, inductive definitions, initial algebras
81Marc Denecker, Eugenia Ternovska A logic of nonmonotone inductive definitions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logic programming, classical logic, Inductive definitions
77Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek Logic programming revisited: Logic programs as inductive definitions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF epistemological foundations, inductive definitions
63Marc Denecker, Eugenia Ternovska A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
63Anton Setzer Partial Recursive Functions in Martin-Löf Type Theory. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Martin-Löf type theory, Kleene index, Kleene brackets, partial recursive functions, inductive-recursive definitions, indexed induction-recursion, computability theory, recursion theory
54Kai-Uwe Kühnberger, Benedikt Löwe, Michael Möllerfeld, Philip D. Welch Comparing Inductive and Circular Definitions: Parameters, Complexity and Games. Search on Bibsonomy Studia Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Revision Theory, Circular Definitions, Inductive definitions
51Sébastien Limet, Gernot Salzer Tree Tuple Languages from the Logic Programming Point of View. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2006 DBLP  DOI  BibTeX  RDF tree tuples, logic programming, inductive definitions
45Lawrence C. Paulson A Fixedpoint Approach to Implementing (Co)Inductive Definitions. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
45Philipp Hanschke Terminological Reasoning and Partial Inductive Definitions. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
42John Harrison 0001 Inductive Definitions: Automation and Application. Search on Bibsonomy TPHOLs The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
40Reinhard Kahle, Thomas Studer A Theory of Explicit Mathematics Equivalent to ID1. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF explicit mathematics, Proof theory, inductive definitions
39James Brotherston Formalised Inductive Reasoning in the Logic of Bunched Implications. Search on Bibsonomy SAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38James Brotherston Cyclic Proofs for First-Order Logic with Inductive Definitions. Search on Bibsonomy TABLEAUX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Seán Matthews A Practical Implementation of Simple Consequence Relations Using Inductive Definitions. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
38Patrick Cousot, Radhia Cousot Inductive Definitions, Semantics and Abstract Interpretation. Search on Bibsonomy POPL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
36Matthew R. Lakin, Andrew M. Pitts Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Nikolay Pelov, Eugenia Ternovska Reducing Inductive Definitions to Propositional Satisfiability. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Douglas A. Cenzer, Jeffrey B. Remmel The Complexity of Inductive Definability. Search on Bibsonomy CiE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Cristina Serban Automated Reasoning in Separation Logic with Inductive Definitions. (Raisonnement automatisé pour la Logique de Séparation avec des définitions inductives ). Search on Bibsonomy 2018   RDF
33Christine Paulin-Mohring Définitions Inductives en Théorie des Types. (Inductive Definitions in Type Theory). Search on Bibsonomy 1996   RDF
32Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Maarten Mariën, Johan Wittocx, Marc Denecker Integrating Inductive Definitions in SAT. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Lars-Henrik Eriksson Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
32Thierry Coquand, Peter Dybjer Inductive Definitions and Type Theory: an Introduction (Preliminary Version). Search on Bibsonomy FSTTCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
32Lars-Henrik Eriksson Finitary Partial Inductive Definitions as a General Logic. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
31Giovanni Curi Abstract Inductive and Co-Inductive Definitions. Search on Bibsonomy J. Symb. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
31Gabe Dijkstra Quotient inductive-inductive definitions. Search on Bibsonomy 2017   RDF
31Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer A Categorical Semantics for Inductive-Inductive Definitions. Search on Bibsonomy CALCO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
31Fredrik Nordvall Forsberg, Anton Setzer Inductive-Inductive Definitions. Search on Bibsonomy CSL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
30Bor-Yuh Evan Chang, Xavier Rival Relational inductive shape analysis. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF symbolic abstract domain, shape analysis, materialization, separation logic, inductive definitions, heap analysis
30James Brotherston, Richard Bornat, Cristiano Calcagno Cyclic proofs of program termination in separation logic. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cyclic proof, program verification, termination, hoare logic, separation logic, inductive definitions
30Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson Verifying the SET Purchase Protocols. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2006 DBLP  DOI  BibTeX  RDF deductive verification, electronic commerce, security protocols, Isabelle, inductive definitions
30Thomas Streicher Inductive Construction of Repletion. Search on Bibsonomy Applied Categorical Structures The full citation details ... 1999 DBLP  DOI  BibTeX  RDF synthetic domain theory, denotational semantics, inductive definitions, constructive logic
28Gilles Barthe, Femke van Raamsdonk Constructor Subtyping in the Calculus of Inductive Constructions. Search on Bibsonomy FoSSaCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Eugenia Ternovskaia Inductive Definability and the Situation Calculus. Search on Bibsonomy Transactions and Change in Logic Databases The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Christian Urban, Stefan Berghofer, Michael Norrish Barendregt's Variable Convention in Rule Inductions. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Ping Hou, Johan Wittocx, Marc Denecker A Deductive System for PC(ID). Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Hans Leiß Bounded Fixed-Point Definability and Tabular Recognition of Languages. Search on Bibsonomy CSL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
22Cristina Cornes, Delphine Terrasse Automating Inversion of Inductive Predicates in Coq. Search on Bibsonomy TYPES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
22Diego Agustín Ambrossio, Marcos Cramer A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
22Stefano Berardi, Makoto Tatsuta Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2019 DBLP  BibTeX  RDF
22Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto Equivalents of the finitary non-deterministic inductive definitions. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions. Search on Bibsonomy APLAS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Jens Katelaan, Christoph Matheja, Florian Zuleger Effective Entailment Checking for Separation Logic with Inductive Definitions. Search on Bibsonomy TACAS (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Kentaro Fujimoto Truths, Inductive Definitions, and Kripke-Platek Systems over Set Theory. Search on Bibsonomy J. Symb. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Toshiyasu Arai Proof-Theoretic strengths of Weak Theories for positive Inductive Definitions. Search on Bibsonomy J. Symb. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Cristina Serban, Radu Iosif An Entailment Checker for Separation Logic with Inductive Definitions. Search on Bibsonomy ECEASST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Stefano Berardi, Makoto Tatsuta Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs. Search on Bibsonomy CMCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Stefano Berardi, Makoto Tatsuta Equivalence of Intuitionistic Inductive Definitions and Intuitionistic Cyclic Proofs under Arithmetic. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
22Stefano Berardi, Makoto Tatsuta Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
22Stefano Berardi, Makoto Tatsuta Equivalence of inductive definitions and cyclic proofs under arithmetic. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Stefano Berardi, Makoto Tatsuta Classical System of Martin-Löf's Inductive Definitions Is Not Equivalent to Cyclic Proof System. Search on Bibsonomy FoSSaCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Taolue Chen, Fu Song, Zhilin Wu Tractability of Separation Logic with Inductive Definitions: Beyond Lists. Search on Bibsonomy CONCUR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Maurice Bruynooghe, Marc Denecker, Miroslaw Truszczynski First Order Logic with Inductive Definitions for Model-Based Problem Solving. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
22Makoto Tatsuta, Quang Loc Le, Wei-Ngan Chin Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic. Search on Bibsonomy APLAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Constantin Enea, Mihaela Sighireanu, Zhilin Wu On Automated Lemma Generation for Separation Logic with Inductive Definitions. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
22Kentaro Fujimoto Notes on some second-order systems of iterated inductive definitions and Π11-comprehensions and relevant subsystems of set theory. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Kentaro Sato Full and hat inductive definitions are equivalent in NBG. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Constantin Enea, Mihaela Sighireanu, Zhilin Wu On Automated Lemma Generation for Separation Logic with Inductive Definitions. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Makoto Tatsuta, Daisuke Kimura Separation Logic with Monadic Inductive Definitions and Implicit Existentials. Search on Bibsonomy APLAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Kentaro Sato Forcing for hat inductive definitions in arithmetic. Search on Bibsonomy Math. Log. Q. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Makoto Tatsuta, Wei-Ngan Chin Completeness of Separation Logic with Inductive Definitions for Program Verification. Search on Bibsonomy SEFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Johan Wittocx, Marc Denecker, Maurice Bruynooghe Constraint Propagation for First-Order Logic and Inductive Definitions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Joachim Jansen, Albert Jorissen, Gerda Janssens Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Benno van den Berg Non-deterministic inductive definitions. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Matthew R. Lakin, Andrew M. Pitts Contextual equivalence for inductive definitions with binders in higher order typed functional programming. Search on Bibsonomy J. Funct. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Pierre-Évariste Dagand, Conor McBride Elaborating Inductive Definitions Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
22Ping Hou, Johan Wittocx, Marc Denecker LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
22Giovanni Curi Topological inductive definitions. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
22Keisuke Yoshii, Kazuyuki Tanaka Infinite Games and Transfinite Recursion of Multiple Inductive Definitions. Search on Bibsonomy CiE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
22Philip D. Welch Weak systems of determinacy and arithmetical quasi-inductive definitions. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
22Toshiyasu Arai Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
22Matthew R. Lakin An executable meta-language for inductive definitions with binders. Search on Bibsonomy 2010   RDF
22Jeremy Avigad, Henry Towsner Functional interpretation and inductive definitions. Search on Bibsonomy J. Symb. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Riccardo Bruni A Note on Theories for quasi-Inductive Definitions. Search on Bibsonomy Rev. Symb. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Wolfram Pohlers Ordinal analysis of non-monotone I-definable inductive definitions. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Marc Denecker, Joost Vennekens Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Murray Patterson, Yongmei Liu 0001, Eugenia Ternovska, Arvind Gupta Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
22Douglas A. Cenzer, Jeffrey B. Remmel On the complexity of inductive definitions. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Favio E. Miranda-Perea Realizability for Monotone and Clausular (Co)inductive Definitions. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Klaus Aehlig Induction and inductive definitions in fragments of second order arithmetic. Search on Bibsonomy J. Symb. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Marc Denecker, Eugenia Ternovska A Logic for Non-Monotone Inductive Definitions Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
22Stanley S. Wainer, Richard S. Williams Inductive definitions over a predicative arithmetic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Sergei Tupailo On the intuitionistic strength of monotone inductive definitions. Search on Bibsonomy J. Symb. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Toshiyasu Arai Wellfoundedness proofs by means of non-monotonic inductive definitions I: Pi 02-operators. Search on Bibsonomy J. Symb. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Favio Ezequiel Miranda Perea On extensions of AF2 with monotone and clausular (Co)inductive definitions. Search on Bibsonomy 2004   RDF
22Gerhard Jäger First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo. Search on Bibsonomy J. Symb. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
22Marc Denecker Extending Classical Logic with Inductive Definitions Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
22David A. Basin, Seán Matthews Structuring Metatheory on Inductive Definitions. Search on Bibsonomy Inf. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
22Marc Denecker Extending Classical Logic with Inductive Definitions. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
22Mathieu Jaume Logic Programming and Co-inductive Definitions. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
22Maurizio Proietti, Alberto Pettorossi Transforming Inductive Definitions. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
22Michael Rathjen Monotone Inductive Definitions in Explicit Mathematics. Search on Bibsonomy J. Symb. Log. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
22David A. Basin, Seán Matthews Structuring Metatheory on Inductive Definitions. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
22Anton Setzer Inductive Definitions with Decidable Atomic Formulas. Search on Bibsonomy CSL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
22Yukiyoshi Kameyama A Type-Free Theory of Half-Monotone Inductive Definitions. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
22Per Kreuger Computational issues in calculi of partial inductive definitions. Search on Bibsonomy 1995   RDF
22Satoshi Kobayashi, Makoto Tatsuta Realizability Interpretation of Generalized Inductive Definitions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
22Makoto Tatsuta Two Realizability Interpretations of Monotone Inductive Definitions. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
22Lars Hallnäs, Per Kreuger Partial Inductive Definitions (Tutorial). Search on Bibsonomy ICLP Workshop: Proof-Theoretical Extensions on Logic Programming The full citation details ... 1994 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 157 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license