Search results for "Coinduction"

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