Results from a 52-week randomized, double-blind, placebo-controlled, phase 2 study of a novel, intra-articular wnt pathway inhibitor (SM04690) for the treatment of knee osteoarthritis

Autor: Yazici, Y. ^†, McAlindon, T.E. ^‡, Gibofsky, A. ^§, Lane, N.E. ^‖, Clauw, D.J. ^¶, Jones, M.H. ^#, Bergfeld, J. ^#, Swearingen, C.J. ^†, DiFrancesco, A. ^†, Tambiah, J.R. ^†, Hochberg, M. ^††

Publikováno v: In Osteoarthritis and Cartilage April 2018 26 Supplement 1:S293-S294

Model constructions for Moss' coalgebraic logic

Autor: Bergfeld, J., Venema, Y., Corradini, A., Klin, B., Cîrstea, C.

Publikováno v: Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30-September 2, 2011: proceedings, 100-114
STARTPAGE=100;ENDPAGE=114;TITLE=Algebra and Coalgebra in Computer Science
Algebra and Coalgebra in Computer Science ISBN: 9783642229435
CALCO

We discuss two model constructions related to the coalgebraic logic introduced by Moss. Our starting point is the derivation system M T for this logic, given by Kupke, Kurz and Venema. Based on the one-step completeness of this system, we first const

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::802ad5a4c410838dad14bbb52c35e46f
https://dare.uva.nl/personal/pure/en/publications/model-constructions-for-moss-coalgebraic-logic(1e1bb333-c9f6-4b0b-86ef-9d2ad25689ac).html

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.