Searching for authors named "Cristina Sernadas" – sorted by Relevance.
-
Denotational Semantics of Object Specification - Within an Arbitrary Temporal Logic Institution
- Amlcar Sernadas Cristina Sernadas Department of Mathematics, IST, Av. Rovisco Pais, 1096 Lisboa Codex
- Cited by 11 (5 self) – Add To MetaCart
-
Object Certification
- Object Certification Am'ilcar Sernadas y Cristina Sernadas z July 20, 1994 Abstract A brief
- Cited by 3 (1 self) – Add To MetaCart
-
Introducing Explanations in Temporal Object Specification
- INTRODUCING EXPLANATIONS IN TEMPORAL OBJECT SPECIFICATION PAULA GOUVEIA and CRISTINA SERNADAS Dep
- Cited by 2 (1 self) – Add To MetaCart
-
Object Specification Logic
- Object Specification Logic Am'ilcar Sernadas, Cristina Sernadas IST, Department of Mathematics
- Cited by 61 (12 self) – Add To MetaCart
-
Synchronization of Logics
- Synchronization of logics x Am'ilcar Sernadas, Cristina Sernadas and Carlos Caleiro Departamento
- Cited by 8 (5 self) – Add To MetaCart
-
Synchronization of Logics with Mixed Rules: Completeness Preservation
- Synchronization of Logics with Mixed Rules: Completeness Preservation Am'ilcar Sernadas, Cristina
- Cited by 9 (5 self) – Add To MetaCart
-
Categorial Fibring of Logics with Terms and Binding Operators
- Categorial Fibring of Logics with Terms and Binding Operators Am'ilcar Sernadas, Cristina Sernadas
- Cited by 14 (10 self) – Add To MetaCart
-
Evolving Logical Specification In Information Systems
- , and Cristina Sernadas Abstract: Traditional logic-based specification approaches fix the structure
- Cited by 4 (3 self) – Add To MetaCart
-
Labelled Deduction Over Algebras of Truth-Values
- Labelled deduction over algebras of truth-values Jo~ao Rasga 1 , Amlcar Sernadas 1 , Cristina
- Cited by 2 (2 self) – Add To MetaCart
-
Formal Specification of Object Systems
- . Universitat Braunschweig P.O. Box 3329, 3300 Braunschweig, FRG E-mail: fjungclau/saakeg@(email omitted); Cristina
- Cited by 15 (7 self) – Add To MetaCart

