( en | de | ru )

 

Disambiguation of "Sernadas, Cristina"

Author of the publication

copydeleteadd this publication to your clipboard
Categorical foundations for randomly timed automata.

, , , , , and . Theor. Comput. Sci., 308 (1-3): 393-427 (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Cristina Häring

Cristina Sattarhoff

Cristina Cozzini

Cristina Voss

Cristina Niculescu

 

Other publications of authors with the same name

Approximate reasoning about logic circuits with single-fan-out unreliable gates., , , and . J. Log. Comput., 24 (5): 1023-1069 (2014)Modal Sequent Calculi Labelled with Truth Values: Cut Elimination., , and . Logic Journal of the IGPL, 13 (2): 173-199 (2005)Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling., , , and . DAISD, volume LSI/90-30 of Report de recerca, page 93-110. Universitat Politecnica de Catalunya (UPC), (1990)Knowledgebases as Structured Theories., , and . FSTTCS, volume 338 of Lecture Notes in Computer Science, page 469-486. Springer, (1988)Towards object-oriented conceptual modeling., and . Data Knowl. Eng., (1991)An Institution of Object Behaviour., , and . COMPASS/ADT, volume 785 of Lecture Notes in Computer Science, page 337-351. Springer, (1992)Fibring Modal First-Order Logics: Completeness Preservation., , and . Logic Journal of the IGPL, 10 (4): 413-451 (2002)Object Specification Logic., , and . J. Log. Comput., 5 (5): 603-630 (1995)Importing Logics: Soundness and Completeness Preservation., , and . Stud Logica, 101 (1): 117-155 (2013)Essential Structure of Proofs as a Measure of Complexity., , and . Logica Universalis, 14 (2): 209-242 (2020)