Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 232,833,821 papers from all fields of science
Search
Sign In
Create Free Account
Coinduction
Known as:
Co-data (computer science)
, Co-induction
, Coinductive
Expand
In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects. Coinduction is the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
26 relations
Anamorphism
Andrew D. Gordon
Apomorphism
Bisimulation
Expand
Broader (5)
Category theory
Functional programming
Logic programming
Mathematical induction
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Midazolam or mini-dose Succinylcholine as a co-induction agent to aid Laryngeal mask airway insertion during propofol Anaesthesia
J. Namrata
,
P. Geeta
2015
Corpus ID: 29765295
BACKGROUND: Laryngeal Mask Airway (LMA) fills a niche between the facemask and endotracheal tube. For LMA insertion, use of only…
Expand
2013
2013
A Coinductive Treatment of Infinitary Rewriting
J. Endrullis
,
H. Hansen
,
D. Hendriks
,
A. Polonsky
,
Alexandra Silva
arXiv.org
2013
Corpus ID: 6558972
We introduce a coinductive definition of infinitary term rewriting. The setup is surprisingly simple, and has in contrast to the…
Expand
2006
2006
Small dose propofol or ketamine as an alternative to midazolam co-induction to propofol
U. Srivastava
,
N. Sharma
,
Aditya Kumar
,
S. Saxena
2006
Corpus ID: 79804237
2006
2006
A CLP Method for Compositional and Intermittent Predicate Abstraction
J. Jaffar
,
A. Santosa
,
R. Voicu
International Conference on Verification, Model…
2006
Corpus ID: 1081758
We present an implementation of symbolic reachability analysis with the features of compositionality, and intermittent…
Expand
2006
2006
Proving Behavioral Refinements of COL-specifications
M. Bidoit
,
R. Hennicker
Essays Dedicated to Joseph A. Goguen
2006
Corpus ID: 17698002
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generation…
Expand
2005
2005
Modeling Systems in CLP
J. Jaffar
,
A. Santosa
,
R. Voicu
International Conference on Logic Programming
2005
Corpus ID: 629900
Constraint Logic Programming has been successful as a programming language, and more recently, as a model of executable…
Expand
2004
2004
Confluence of the coinductive [lambda]-calculus
Felix Joachimski
Theoretical Computer Science
2004
Corpus ID: 16705476
2003
2003
Multi-level Meta-reasoning with Higher-Order Abstract Syntax
A. Momigliano
,
Simon Ambler
Foundations of Software Science and Computation…
2003
Corpus ID: 14218320
Combining Higher Order Abstract Syntax (HOAS) and (co)- induction is well known to be problematic. In previous work [1] we have…
Expand
2002
2002
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity
A. Momigliano
,
Simon Ambler
,
R. Crole
LFM
2002
Corpus ID: 17940829
1996
1996
Verification of an optimized fault-tolerant clock synchronization circuit
P. Miner
,
S. Johnson
1996
Corpus ID: 16643086
In previous work, we explored the interaction between different formal hardware development techniques in the implementation of a…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE