( en | de | ru )

 

Disambiguierung von "Sernadas, Cristina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Approximate reasoning about logic circuits with single-fan-out unreliable gates.

, , , und . J. Log. Comput., 24 (5): 1023-1069 (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Cristina Häring

Cristina Sattarhoff

Cristina Niculescu

Cristina Cozzini

Cristina Voss

 

Weitere Publikationen von Autoren mit dem selben Namen

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