-
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...
- "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...
-
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...
-
fields Photopharmacology Immunopharmacology Cell
biology Physiology Other Coinduction (anesthetics)
Combination therapy Functional analog (chemistry) Polypharmacology...
