PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Sernadas, Cristina"

Author of the publication

copydeleteadd this publication to your clipboard
Proof-Theoretic Semantics of Object-Oriented Specification Constructs.

, , , and . DS-4, page 243-284. (1990)

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 Tarín

Dr. phil. Maria Cristina Giacomin University of Stuttgart

Univ. -Prof. Dr. -Ing. Cristina Tarin Sauer University of Stuttgart

Cristina Tereza Mehl University of Stuttgart

Andrea Cristina Ramirez Herrera University of Stuttgart

 

Other publications of authors with the same name

Object Specification Logic., , and . J. Log. Comput., 5 (5): 603-630 (1995)Importing Logics: Soundness and Completeness Preservation., , and . Studia Logica, 101 (1): 117-155 (2013)Fibring Modal First-Order Logics: Completeness Preservation., , and . Logic Journal of the IGPL, 10 (4): 413-451 (2002)Truth-values as Labels: A General Recipe for Labelled Deduction., , , and . Journal of Applied Non-Classical Logics, 13 (3-4): 277-315 (2003)Towards object-oriented conceptual modeling., and . Data Knowl. Eng., (1991)Modal Sequent Calculi Labelled with Truth Values: Cut Elimination., , and . Logic Journal of the IGPL, 13 (2): 173-199 (2005)Approximate reasoning about logic circuits with single-fan-out unreliable gates., , , and . J. Log. Comput., 24 (5): 1023-1069 (2014)Abstract Data Type Semantics for Many-Sorted Object Query Algebras., , and . MFDBS, volume 495 of Lecture Notes in Computer Science, page 291-307. Springer, (1991)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)An Institution of Object Behaviour., , and . COMPASS/ADT, volume 785 of Lecture Notes in Computer Science, page 337-351. Springer, (1992)