Search results for "coinduction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Ralph Matthes, Célia Picard	Verification of redecoration for infinite triangular matrices using coinduction.	TYPES	2011	DBLP DOI BibTeX RDF
22	Clément Fumex, Neil Ghani, Patricia Johann	Indexed Induction and Coinduction, Fibrationally.	CALCO	2011	DBLP DOI BibTeX RDF
22	Jan Komenda	Coinduction in Concurrent Timed Systems.	CMCS@ETAPS	2010	DBLP DOI BibTeX RDF
22	Ulrich Berger 0001	Realisability for Induction and Coinduction with Applications to Constructive Analysis.	J. Univers. Comput. Sci.	2010	DBLP DOI BibTeX RDF
22	Keiko Nakata 0001, Tarmo Uustalu	Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction	SOS	2010	DBLP DOI BibTeX RDF
22	Carlos Areces, Daniel Gorín	Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction).	J. Appl. Log.	2010	DBLP DOI BibTeX RDF
22	Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu	Automating Coinduction with Case Analysis.	ICFEM	2010	DBLP DOI BibTeX RDF
22	Andrei Popescu 0001, Elsa L. Gunter	Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization.	FoSSaCS	2010	DBLP DOI BibTeX RDF
22	Tarmo Uustalu	Antifounded Coinduction in Type Theory.	PAR@ITP	2010	DBLP DOI BibTeX RDF
22	Dexter Kozen, Nicholas Ruozzi	Applications of Metric Coinduction	Log. Methods Comput. Sci.	2009	DBLP BibTeX RDF
22	Pierre Lescanne	Deconstruction of Infinite Extensive Games using coinduction	CoRR	2009	DBLP BibTeX RDF
22	Maja Hadzic, Elizabeth Chang 0001	Using coalgebra and coinduction to define ontology-based multi-agent systems.	Int. J. Metadata Semant. Ontologies	2008	DBLP DOI BibTeX RDF
22	Ichiro Hasuo, Bart Jacobs 0001, Ana Sokolova	Generic Trace Semantics via Coinduction	CoRR	2007	DBLP BibTeX RDF
22	Ichiro Hasuo, Bart Jacobs 0001, Ana Sokolova	Generic Trace Semantics via Coinduction.	Log. Methods Comput. Sci.	2007	DBLP DOI BibTeX RDF
22	Alexandra Silva 0001, Jan J. M. M. Rutten	Behavioural Differential Equations and Coinduction for Binary Trees.	WoLLIC	2007	DBLP DOI BibTeX RDF
22	Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta 0001	Co-Logic Programming: Extending Logic Programming with Coinduction.	ICALP	2007	DBLP DOI BibTeX RDF
22	Yves Bertot	CoInduction in Coq	CoRR	2006	DBLP BibTeX RDF
22	Bartek Klin	A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces.	CMCS	2004	DBLP DOI BibTeX RDF
22	Jan Komenda	Coinduction in Control of Partially Observed Discrete-Event Systems.	CMCS	2003	DBLP DOI BibTeX RDF
22	Falk Bartels	Generalised Coinduction.	Math. Struct. Comput. Sci.	2003	DBLP DOI BibTeX RDF
22	Thomas Forster	Better-quasi-orderings and coinduction.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
22	J. Robin B. Cockett, Luigi Santocanale	Induction, Coinduction, and Adjoints.	CTCS	2002	DBLP DOI BibTeX RDF
22	Jan J. M. M. Rutten	Elements of Stream Calculus (An Extensive Exercise in Coinduction).	MFPS	2001	DBLP DOI BibTeX RDF
22	Falk Bartels	Generalised Coinduction.	CMCS	2001	DBLP DOI BibTeX RDF
22	Sorin Craciunescu	Preuves de programmes logiques par induction et coinduction.	JFPLC	2001	DBLP BibTeX RDF
22	James Worrell 0001	Coinduction for recursive data types: partial orders, metric spaces and Omega-categories.	CMCS	2000	DBLP DOI BibTeX RDF
22	Furio Honsell, Marina Lenisa	Coalgebraic Coinduction in (Hyper)set-theoretic Categories.	CMCS	2000	DBLP DOI BibTeX RDF
22	Louise A. Dennis, Alan Bundy, Ian Green	Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts.	Ann. Math. Artif. Intell.	2000	DBLP DOI BibTeX RDF
22	Joseph A. Goguen, Grant Malcolm	Hidden coinduction: behavioural correctness proofs for objects.	Math. Struct. Comput. Sci.	1999	DBLP BibTeX RDF
22	Jan J. M. M. Rutten	A note on coinduction and weak bisimilarity for while programs.	RAIRO Theor. Informatics Appl.	1999	DBLP DOI BibTeX RDF
22	Michihiro Matsumoto, Kokichi Futatsugi	Test set coinduction - Toward automated verification of behavioural properties.	WRLA	1998	DBLP DOI BibTeX RDF
22	Claudio Hermida, Bart Jacobs 0001	Structural Induction and Coinduction in a Fibrational Setting.	Inf. Comput.	1998	DBLP DOI BibTeX RDF
22	Louise A. Dennis	Proof planning coinduction.		1998	RDF
22	Lawrence C. Paulson	Mechanizing Coinduction and Corecursion in Higher-order Logic	CoRR	1997	DBLP BibTeX RDF
22	Lawrence C. Paulson	Mechanizing Coinduction and Corecursion in Higher-Order Logic.	J. Log. Comput.	1997	DBLP DOI BibTeX RDF
22	Marina Lenisa	A Uniform Syntactical Method for Proving Coinduction Principles in Lambda-Calculi.	TAPSOFT	1997	DBLP DOI BibTeX RDF
22	Marcelo P. Fiore	A Coinduction Principle for Recursive Data Types Based on Bisimulation.	Inf. Comput.	1996	DBLP DOI BibTeX RDF
22	Marcelo P. Fiore	A Coinduction Principle for Recursive Data Types Based on Bisimulation	LICS	1993	DBLP DOI BibTeX RDF
17	Marc Denecker	A Knowledge Base System Project for FO(.).	ICLP	2009	DBLP DOI BibTeX RDF
17	Dexter Kozen, Wei-Lung Dustin Tseng	The Böhm-Jacopini Theorem Is False, Propositionally.	MPC	2008	DBLP DOI BibTeX RDF
17	Alberto Ciaffaglione, Luigi Liquori, Marino Miculan	Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	Functional and imperative object-calculi, Logical foundations of programming, Coinductive type theories, Logical frameworks, Interactive theorem proving
17	Damien Pous	Complete Lattices and Up-To Techniques.	APLAS	2007	DBLP DOI BibTeX RDF
17	Dorel Lucanu, Grigore Rosu	CIRC : A Circular Coinductive Prover.	CALCO	2007	DBLP DOI BibTeX RDF
17	Peter Höfner, Bernhard Möller, Kim Solin	Omega Algebra, Demonic Refinement Algebra and Commands.	RelMiCS	2006	DBLP DOI BibTeX RDF
17	Dexter Kozen	Coinductive Proof Principles for Stochastic Processes.	LICS	2006	DBLP DOI BibTeX RDF
17	Luke Simon, Ajay Mallya, Ajay Bansal, Gopal Gupta 0001	Coinductive Logic Programming.	ICLP	2006	DBLP DOI BibTeX RDF
17	Milad Niqui	Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers.	TYPES	2006	DBLP DOI BibTeX RDF
17	Ichiro Hasuo	Generic Forward and Backward Simulations.	CONCUR	2006	DBLP DOI BibTeX RDF
17	Paula Severi, Fer-Jan de Vries	Order Structures on Böhm-Like Models.	CSL	2005	DBLP DOI BibTeX RDF
17	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	A CLP Proof Method for Timed Automata.	RTSS	2004	DBLP DOI BibTeX RDF
17	Farhad Arbab, Jan J. M. M. Rutten	A Coinductive Calculus of Component Connectors.	WADT	2002	DBLP DOI BibTeX RDF
17	Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce	Recursive subtyping revealed: functional pearl.	ICFP	2000	DBLP DOI BibTeX RDF	PEARL
17	Joseph A. Goguen, Kai Lin, Grigore Rosu	Circular Coinductive Rewriting.	ASE	2000	DBLP DOI BibTeX RDF
17	Roy L. Crole	Introduction.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
17	Akira Mori, Kokichi Futatsugi	Verifying Behavioural Specifications in CafeOBJ Environment.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
17	Grigore Rosu, Joseph A. Goguen	Hidden Congruent Deduction.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
17	Flemming Nielson, Hanne Riis Nielson	Flow Logic for Imperative Objects.	MFCS	1998	DBLP DOI BibTeX RDF
17	Louise A. Dennis, Alan Bundy, Ian Green	Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs.	CADE	1997	DBLP DOI BibTeX RDF
17	Christophe Raffalli	Data Types, Infinity and Equality in System AF2.	CSL	1993	DBLP DOI BibTeX RDF