-
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...
-
runtime verification, the K framework,
matching logic, and
automated coinduction. Roșu
received a B.A. in
Mathematics in 1995 and an M.S. in Fundamentals...
-
inductive types), the
calculus of (co)inductive
constructions (which adds
coinduction), and the
predicative calculus of
inductive constructions (which removes...
- "Origins of
bisimulation and
coinduction", in Sangiorgi, Davide; Rutten, Jan (eds.),
Advanced Topics in
Bisimulation and
Coinduction,
Cambridge University Press...
-
LINEAR ALGEBRA.§5.
Extension of the ring of scalars;§7.
Vector spaces. 1974 by Hermann.
Induction and
Coinduction of
Representations Dummit 2004, p. 359....
-
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...
-
fields Photopharmacology Immunopharmacology Cell
biology Physiology Other Coinduction (anesthetics)
Combination therapy Functional analog (chemistry) Polypharmacology...
- here is the one that says that S < T
whenever S has
fewer nodes than T.
Coinduction Initial algebra Loop invariant,
analog for
loops Hopcroft, John E.; Rajeev...
