Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Confirmed Publications: 88



71
TITLE: MODULAR CONSTRUCTION OF LOGIC KNOWLEDGE BASES - AN ALGEBRAIC APPROACH  Full Text
AUTHORS: SERNADAS, C ; FIADEIRO, J; SERNADAS, A ;
PUBLISHED: 1990, SOURCE: INFORMATION SYSTEMS, VOLUME: 15, ISSUE: 1
INDEXED IN: WOS
IN MY: ORCID | ResearcherID
72
TITLE: Modular construction of logic knowledge bases: An algebraic approach  Full Text
AUTHORS: Cristina Sernadas ; José Fiadeiro; Amílcar Sernadas ;
PUBLISHED: 1990, SOURCE: Information Systems, VOLUME: 15, ISSUE: 1
INDEXED IN: CrossRef
73
TITLE: ABSTRACT OBJECT TYPES - A TEMPORAL PERSPECTIVE
AUTHORS: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLISHED: 1989, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 398
INDEXED IN: WOS
IN MY: ORCID | ResearcherID
74
TITLE: ABSTRACT OBJECT TYPES - A TEMPORAL PERSPECTIVE
AUTHORS: SERNADAS, A ; FIADEIRO, J; SERNADAS, C ; EHRICH, HD;
PUBLISHED: 1989, SOURCE: INTERNATIONAL COLLOQUIUM ON TEMPORAL LOGIC IN SPECIFICATION in TEMPORAL LOGIC IN SPECIFICATION, VOLUME: 398
INDEXED IN: WOS
75
TITLE: INEVITABILITY IN BRANCHING TIME
AUTHORS: CARMO, J; SERNADAS, A ;
PUBLISHED: 1989, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 363
INDEXED IN: WOS
IN MY: ORCID | ResearcherID
76
TITLE: OBJECTS, OBJECT TYPES, AND OBJECT IDENTIFICATION
AUTHORS: EHRICH, HD; SERNADAS, A ; SERNADAS, C ;
PUBLISHED: 1989, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 393
INDEXED IN: WOS
IN MY: ORCID | ResearcherID
77
TITLE: ABSTRACT OBJECT TYPES FOR DATABASES
AUTHORS: EHRICH, HD; SERNADAS, A ; SERNADAS, C ;
PUBLISHED: 1988, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 334
INDEXED IN: WOS
IN MY: ORCID | ResearcherID
78
TITLE: KNOWLEDGEBASES AS STRUCTURED THEORIES
AUTHORS: FIADEIRO, J; SERNADAS, A ; SERNADAS, C ;
PUBLISHED: 1988, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 338
INDEXED IN: WOS
IN MY: ORCID | ResearcherID
79
TITLE: SPECIFICATION AND VERIFICATION OF DATABASE DYNAMICS
AUTHORS: FIADEIRO, J; SERNADAS, A ;
PUBLISHED: 1988, SOURCE: ACTA INFORMATICA, VOLUME: 25, ISSUE: 6
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
80
TITLE: STRUCTURING THEORIES ON CONSEQUENCE
AUTHORS: FIADEIRO, J; SERNADAS, A ;
PUBLISHED: 1988, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 332
INDEXED IN: WOS
IN MY: ORCID | ResearcherID
Page 8 of 9. Total results: 88.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service