The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for coinduction with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1993-1998 (15) 1999-2002 (17) 2003-2006 (19) 2007-2008 (16) 2009-2010 (17) 2011-2012 (17) 2013-2016 (19) 2017-2019 (21) 2020-2022 (16) 2023 (2)
Publication types (Num. hits)
article(54) book(1) incollection(8) inproceedings(92) phdthesis(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 57 occurrences of 39 keywords

Results
Found 159 publication records. Showing 159 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
108Dexter Kozen, Nicholas Ruozzi Applications of Metric Coinduction. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
91Dorel Lucanu, Grigore Rosu Circular Coinduction with Special Contexts. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
91Daniel Hausmann 0001, Till Mossakowski, Lutz Schröder Iterative Circular Coinduction for CoCasl in Isabelle/HOL. Search on Bibsonomy FASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
82Marina Lenisa Final Semantics for a Higher Order Concurrent Language. Search on Bibsonomy CAAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF second order assignment, F-coalgebra, F-bisimulation, final semantics, hyperset, complete metric space, mixed induction-coinduction, operational semantics, coinduction
81Davide Sangiorgi Origins of bisimulation and coinduction. Search on Bibsonomy Advanced Topics in Bisimulation and Coinduction The full citation details ... 2012 DBLP  BibTeX  RDF
74Grigore Rosu, Dorel Lucanu Circular Coinduction: A Proof Theoretical Foundation. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
63Davide Sangiorgi On the origins of bisimulation and coinduction. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF greatest fixed points, Bisimulation, history, fixed points, coinduction
63Jan Komenda, Jan H. van Schuppen Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF bisimulation, supervisory control, coalgebra, coinduction, partial observations
58Andrew M. Pitts Howe's method for higher-order languages. Search on Bibsonomy Advanced Topics in Bisimulation and Coinduction The full citation details ... 2012 DBLP  BibTeX  RDF
58Damien Pous, Davide Sangiorgi Enhancements of the bisimulation proof method. Search on Bibsonomy Advanced Topics in Bisimulation and Coinduction The full citation details ... 2012 DBLP  BibTeX  RDF
58Bart Jacobs 0001, Jan Rutten An introduction to (co)algebra and (co)induction. Search on Bibsonomy Advanced Topics in Bisimulation and Coinduction The full citation details ... 2012 DBLP  BibTeX  RDF
58Colin Stirling Bisimulation and logic. Search on Bibsonomy Advanced Topics in Bisimulation and Coinduction The full citation details ... 2012 DBLP  BibTeX  RDF
58Luca Aceto, Anna Ingólfsdóttir, Jirí Srba The algorithmics of bisimilarity. Search on Bibsonomy Advanced Topics in Bisimulation and Coinduction The full citation details ... 2012 DBLP  BibTeX  RDF
58Prakash Panangaden Probabilistic bisimulation. Search on Bibsonomy Advanced Topics in Bisimulation and Coinduction The full citation details ... 2012 DBLP  BibTeX  RDF
58Michele Boreale, Fabio Gadducci Denotational Testing Semantics in Coinductive Form. Search on Bibsonomy MFCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF testing equivalence, process calculi, coinduction, formal power series
58Sorin Craciunescu Proving the Equivalence of CLP Programs. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF CLP(forall), logic programming, constraint, induction, proof system, reactive program, coinduction, CLP, Program equivalence
51Gopal Gupta 0001, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya Coinductive Logic Programming and Its Applications. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
46Ulrich Berger 0001, Tie Hou Coinduction for Exact Real Number Computation. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Exact real number computation, Corecursion, Signed digit streams, Coinduction
45Marina Lenisa From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems. Search on Bibsonomy CMCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Ralf Hinze Functional pearl: streams and unique fixed points. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF finite calculus, unique fixed points, streams, generating functions, recurrences, coinduction
41Sabine Glesner, Jan Olaf Blech Coalgebraic Semantics for Component Systems. Search on Bibsonomy Architecting Systems with Trustworthy Components The full citation details ... 2004 DBLP  DOI  BibTeX  RDF verification, semantics, Components, Isabelle/HOL, coinduction, component interaction
40Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu CIRC: A Behavioral Verification Tool Based on Circular Coinduction. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Joxan Jaffar, Andrew E. Santosa, Razvan Voicu A Coinduction Rule for Entailment of Recursively Defined Properties. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Clemens Grabmayer Using Proofs by Coinduction to Find "Traditional" Proofs. Search on Bibsonomy CALCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Koushik Sen, Grigore Rosu, Gul Agha Generating Optimal Linear Temporal Logic Monitors by Coinduction. Search on Bibsonomy ASIAN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Jan J. M. M. Rutten Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously. Search on Bibsonomy ICALP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
40Jan J. M. M. Rutten Automata and Coinduction (An Exercise in Coalgebra). Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Ralf Hinze Exploiting Unique Fixed Points. Search on Bibsonomy MPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34César Sánchez 0001, Henny B. Sipma, Matteo Slanina, Zohar Manna Final Semantics for Event-Pattern Reactive Programs. Search on Bibsonomy CALCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Michele Basaldella, Kazushige Terui Infinitary Completeness in Ludics. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF ludics, completeness, linear logic, recursive types, coinduction
24Franco Barbanera, Ugo de'Liguoro Two notions of sub-behaviour for session-based client/server systems. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF behavioural semantics, client/server interaction, semantics of subtyping, sub-behaviour, coinduction, session types
24Ulrich Berger 0001 From Coinductive Proofs to Exact Real Arithmetic. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF program extraction, exact real number computation, Proof theory, coinduction
24Milad Niqui Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Coiteration, Bisimulation, Coalgebra, Coq, Coinduction
24Jan J. M. M. Rutten, Daniele Turi Initial Algebra and Final Coalgebra Semantics for Concurrency. Search on Bibsonomy REX School/Symposium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF bisimulation, Algebra, algebra, induction, initiality, labelled transition system, congruence, coalgebra, coinduction, finality
22Harrison Grodin, Robert Harper 0001 Amortized Analysis via Coinduction. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Harrison Grodin, Robert Harper 0001 Amortized Analysis via Coinduction (Early Ideas). Search on Bibsonomy CALCO The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
22Davide Sangiorgi From enhanced coinduction towards enhanced induction. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell. Search on Bibsonomy Haskell The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
22Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva 0001 Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
22Jean-Marie Madiot, Damien Pous, Davide Sangiorgi Modular coinduction up-to for higher-order languages via first-order transition systems. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Francesco Dagnino Foundations of regular coinduction. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva 0001 Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness. Search on Bibsonomy ICALP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Liron Cohen 0001 Non-well-founded Deduction for Induction and Coinduction. Search on Bibsonomy CADE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Luca Ciccone, Francesco Dagnino, Elena Zucca Flexible Coinduction in Agda. Search on Bibsonomy ITP The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
22Francesco Dagnino Flexible Coinduction. Search on Bibsonomy 2021   RDF
22Francesco Dagnino Foundations of regular coinduction. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
22Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
22François Bry Coinduction Plain and Simple. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
22Luca Ciccone Flexible Coinduction in Agda. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
22Jean-Marie Madiot, Damien Pous, Davide Sangiorgi Modular coinduction up-to for higher-order languages via first-order transition systems. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
22Liron Cohen 0001, Reuben N. S. Rowe Integrating Induction and Coinduction via Closure Operators and Proof Cycles. Search on Bibsonomy IJCAR (1) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic An equational theory for weak bisimulation via generalized parameterized coinduction. Search on Bibsonomy CPP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
22Moez A. AbdelGawad Induction, Coinduction, and Fixed Points in PL Type Theory. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
22Moez A. AbdelGawad Induction, Coinduction, and Fixed Points: Intuitions and Tutorial. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
22Moez A. AbdelGawad Mutual Coinduction. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
22Damien Pous, Davide Sangiorgi Bisimulation and Coinduction Enhancements: A Historical Perspective. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Henning Basold, Ekaterina Komendantskaya, Yue Li 0021 Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. Search on Bibsonomy ESOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Lukasz Czajka 0001 First-Order Guarded Coinduction in Coq. Search on Bibsonomy ITP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Damien Pous Coinduction: Automata, Formal Proof, Companions (Invited Paper). Search on Bibsonomy CALCO The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Henning Basold Coinduction in Flow: The Later Modality in Fibrations. Search on Bibsonomy CALCO The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
22Yue Li 0021 A proof-theoretic approach to coinduction in Horn clause logic Search on Bibsonomy 2019   RDF
22Henning Basold, Ekaterina Komendantskaya, Yue Li 0021 Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
22Moez A. AbdelGawad Fixed Points, Induction, and Coinduction in Order Theory, Set Theory, (PL) Type Theory, Category Theory, and Logic: A Concise Summary. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
22Brandon M. Moore, Lucas Peña, Grigore Rosu Program Verification by Coinduction. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Francesco Dagnino Flexible Coinduction for Infinite Behaviour. Search on Bibsonomy ICTCS The full citation details ... 2018 DBLP  BibTeX  RDF
22Decheng Miao, Jianqing Xi Indexed Coinduction in a Fibrational Setting. Search on Bibsonomy ICA3PP (Workshops) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Dorel Lucanu Proving Reachability Properties by Coinduction (Extended Abstract). Search on Bibsonomy SYNASC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Ulrich Berger 0001, Olga Petrovska Optimized Program Extraction for Induction and Coinduction. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Sólrún Halla Einarsdóttir, Moa Johansson, Johannes Åman Pohjola Into the Infinite - Theory Exploration for Coinduction. Search on Bibsonomy AISC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
22Dexter Kozen, Alexandra Silva 0001 Practical coinduction. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot A general account of coinduction up-to. Search on Bibsonomy Acta Informatica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Shin-ya Katsumata, Damien Pous, Jan Rutten Enhanced coinduction (NII Shonan Meeting 2017-17). Search on Bibsonomy NII Shonan Meet. Rep. The full citation details ... 2017 DBLP  BibTeX  RDF
22David Sprunger, Lawrence S. Moss Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence. Search on Bibsonomy CALCO The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
22Rodolphe Lepigre, Christophe Raffalli Subtyping-Based Type-Checking for System F with Induction and Coinduction. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
22Alberto Ciaffaglione Towards Turing computability via coinduction. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Jurriaan Rot, Marcello M. Bonsangue, Jan Rutten Proving language inclusion and equivalence by coinduction. Search on Bibsonomy Inf. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Andreas Abel 0001 Compositional Coinduction with Sized Types. Search on Bibsonomy CMCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Damien Pous Coinduction All the Way Up. Search on Bibsonomy LICS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
22Filippo Bonchi, Damien Pous Hacking nondeterminism with induction and coinduction. Search on Bibsonomy Commun. ACM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Wee Liang Gan, Liping Li Coinduction functor in representation stability theory. Search on Bibsonomy J. Lond. Math. Soc. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata 0001 A Dynamic Logic with Traces and Coinduction. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Yuxin Deng, Yuan Feng 0001, Ugo Dal Lago On Coinduction and Quantum Lambda Calculi. Search on Bibsonomy CONCUR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
22Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot Coinduction up to in a fibrational setting. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
22Andreas Abel 0001, James Chapman 0001 Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types. Search on Bibsonomy MSFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Theofrastos Mantadelis, Ricardo Rocha 0001, Paulo Moura Tabling, Rational Terms, and Coinduction Finally Together! Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
22Theofrastos Mantadelis, Ricardo Rocha 0001, Paulo Moura Tabling, Rational Terms, and Coinduction Finally Together! Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Jos C. M. Baeten, Davide Sangiorgi Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi. Search on Bibsonomy Computational Logic The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Filippo Bonchi, Daniela Petrisan, Damien Pous, Jurriaan Rot Coinduction up-to in a fibrational setting. Search on Bibsonomy CSL-LICS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
22Ichiro Hasuo, Keiko Nakata 0001, Tarmo Uustalu Coinduction for Computation Structures and Programming Languages (NII Shonan Meeting 2013-11). Search on Bibsonomy NII Shonan Meet. Rep. The full citation details ... 2013 DBLP  BibTeX  RDF
22Yoshihiko Kakutani, Daisuke Kimura Induction by Coinduction and Control Operators in Call-by-Name. Search on Bibsonomy COS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Neil Ghani, Patricia Johann, Clément Fumex Indexed Induction and Coinduction, Fibrationally. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Jörg Endrullis, Dimitri Hendriks, Martin Bodin Circular Coinduction in Coq Using Bisimulation-Up-To Techniques. Search on Bibsonomy ITP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
22Pierre Lescanne, Matthieu Perrinel "Backward" coinduction, Nash equilibrium and the rationality of escalation. Search on Bibsonomy Acta Informatica The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
22Ronald de Haan Functional Logic Programming with Generalized Circular Coinduction Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
22Davide Sangiorgi, Jan J. M. M. Rutten (eds.) Advanced Topics in Bisimulation and Coinduction. Search on Bibsonomy 2012 DBLP  BibTeX  RDF
22Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond Decentralized control of product (max+)-automata using coinduction. Search on Bibsonomy WODES The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
22Clément Fumex Induction and coinduction schemes in category theory. Search on Bibsonomy 2012   RDF
22Milad Niqui, Jan J. M. M. Rutten A proof of Moessner's theorem by coinduction. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
22Razvan Diaconescu Coinduction for preordered algebra. Search on Bibsonomy Inf. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
22Keiko Nakata 0001, Tarmo Uustalu, Marc Bezem A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction. Search on Bibsonomy APLAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 159 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license