-
computer science,
coinduction is a
technique for
defining and
proving properties of
systems of
concurrent interacting objects.
Coinduction is the mathematical...
-
Coinduction in
anesthesia is a
pharmacological tool
whereby a
combination of
sedative drugs may be used to
greater effect than a
single agent, achieving...
-
inductive types), the
calculus of (co)inductive
constructions (which adds
coinduction), and the
predicative calculus of
inductive constructions (which removes...
- in
Runtime Verification, the K framework,
matching logic,
automated coinduction., and for
founding Runtime Verification, Inc. and Pi Squared, Inc.. Roșu...
-
fields Photopharmacology Immunopharmacology Cell
biology Physiology Other Coinduction (anesthetics)
Combination therapy Functional analog (chemistry) Polypharmacology...
-
fields Photopharmacology Immunopharmacology Cell
biology Physiology Other Coinduction (anesthetics)
Combination therapy Functional analog (chemistry) Polypharmacology...
- "Origins of
bisimulation and
coinduction". In Sangiorgi, Davide; Rutten, Jan (eds.).
Advanced Topics in
Bisimulation and
Coinduction.
Cambridge University Press...
- "Origins of
bisimulation and
coinduction", in Sangiorgi, Davide; Rutten, Jan (eds.),
Advanced Topics in
Bisimulation and
Coinduction,
Cambridge University Press...
-
fields Photopharmacology Immunopharmacology Cell
biology Physiology Other Coinduction (anesthetics)
Combination therapy Functional analog (chemistry) Polypharmacology...
-
coinduction.
Cambridge University Press. ISBN 9781107003637. Sangiorgi, Davide; Rutten, Jan (2012).
Advanced Topics in
Bisimulation and
Coinduction....