Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Confirmed Publications: 88



81
TITLE: The INFOLOG linear tense propositional logic of events and transactions  Full Text
AUTHORS: José Fiadeiro; Amílcar Sernadas ;
PUBLISHED: 1986, SOURCE: Information Systems, VOLUME: 11, ISSUE: 1
INDEXED IN: CrossRef
82
TITLE: THE INFOLOG LINEAR TENSE PROPOSITIONAL LOGIC OF EVENTS AND TRANSACTIONS  Full Text
AUTHORS: FIADEIRO, J; SERNADAS, A ;
PUBLISHED: 1986, SOURCE: INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 1
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
83
TITLE: Towards knowledge-based infolog specifications A case study of information engineering  Full Text
AUTHORS: Coelho, H ; Rodrigues, A; Sernadas, A ;
PUBLISHED: 1985, SOURCE: Decision Support Systems, VOLUME: 1, ISSUE: 2
INDEXED IN: Scopus
IN MY: ORCID
84
TITLE: USE OF E-R ABSTRACTIONS FOR KNOWLEDGE REPRESENTATION.
AUTHORS: Amilcar Sernadas ; Cristina Sernadas ;
PUBLISHED: 1985, SOURCE: 4th International Conference on Entity-Relationship Approach.
INDEXED IN: Scopus
IN MY: ORCID
85
TITLE: BIPS: A LAYERED PREDICATIVE QUERY LANGUAGE FOR A DBTG DATABASE SYSTEM.
AUTHORS: Amilcar Sernadas ; Graca Gaspar; Jose Granado;
PUBLISHED: 1982, SOURCE: Improving Database Usability and Responsiveness. in Proceedings of the International Conference on Databases
INDEXED IN: Scopus
IN MY: ORCID
86
TITLE: SYSTEMATICS - ITS SYNTAX AND SEMANTICS AS A QUERY LANGUAGE .1.
AUTHORS: SERNADAS, A ;
PUBLISHED: 1981, SOURCE: COMPUTER JOURNAL, VOLUME: 24, ISSUE: 1
INDEXED IN: WOS
IN MY: ResearcherID
87
TITLE: SYSTEMATICS - ITS SYNTAX AND SEMANTICS AS A QUERY LANGUAGE .2.
AUTHORS: SERNADAS, A ;
PUBLISHED: 1981, SOURCE: COMPUTER JOURNAL, VOLUME: 24, ISSUE: 2
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
88
TITLE: TEMPORAL ASPECTS OF LOGICAL PROCEDURE DEFINITION  Full Text
AUTHORS: SERNADAS, A ;
PUBLISHED: 1980, SOURCE: INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 3
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
Page 9 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