The following pages link to Amílcar Sernadas (Q694497):
Displayed 50 items.
- Item:Q694497 (redirect page) (← links)
- Importing logics: soundness and completeness preservation (Q361861) (← links)
- Item:Q694497 (redirect page) (← links)
- Exponentially more concise quantum recognition of non-RMM regular languages (Q473186) (← links)
- Deriving liveness goals from temporal logic specifications (Q679327) (← links)
- Importing logics (Q694499) (← links)
- Branching versus linear logics yet again (Q911747) (← links)
- The INFOLOG linear tense propositional logic of events and transactions (Q1079024) (← links)
- Specification and verification of database dynamics (Q1092680) (← links)
- Denotational semantics of object specification (Q1127818) (← links)
- Temporal aspects of logical procedure definition (Q1144955) (← links)
- Object inheritance beyond subtyping (Q1323343) (← links)
- Synchronization of logics (Q1372360) (← links)
- Progress assumption in concurrent systems (Q1805398) (← links)
- A two-level temporal logic for evolving specifications. (Q1853062) (← links)
- Fibring non-truth-functional logics: Completeness preservation (Q1868482) (← links)
- Categorical foundations for randomly timed automata (Q1884891) (← links)
- On combined connectives (Q1941724) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- Probabilistic situation calculus (Q2349808) (← links)
- Reasoning about probabilistic sequential programs (Q2373709) (← links)
- On probability and logic (Q2413201) (← links)
- Preservation of Craig interpolation by the product of matrix logics (Q2446552) (← links)
- Weakly complete axiomatization of exogenous quantum propositional logic (Q2495653) (← links)
- (Q2722027) (← links)
- (Q2722028) (← links)
- Fibring: completeness preservation (Q2732291) (← links)
- (Q2782494) (← links)
- (Q2851315) (← links)
- (Q2851801) (← links)
- Universality of quantum Turing machines with deterministic control (Q2987040) (← links)
- Preservation by fibring of the finite model property (Q3006122) (← links)
- (Q3007251) (← links)
- Logics of Modal Terms for Systems Specification (Q3210907) (← links)
- NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS (Q3427872) (← links)
- (Q3468602) (← links)
- (Q3527403) (← links)
- Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification (Q3549314) (← links)
- (Q3560845) (← links)
- (Q3571948) (← links)
- Reasoning About States of Probabilistic Sequential Programs (Q3613341) (← links)
- Truth-values as labels: a general recipe for labelled deduction (Q3643258) (← links)
- A Graph-theoretic Account of Logics (Q3656774) (← links)
- On Graph-theoretic Fibring of Logics (Q3656775) (← links)
- (Q3745334) (← links)
- (Q3820049) (← links)
- (Q3824395) (← links)
- (Q3826521) (← links)
- SYSTEMATICS: Its syntax and semantics as a query language (1) (Q3902558) (← links)