Abstract | ||
---|---|---|
The constructor-based logics constitute the logical foundation of the so-called OTS/CafeOBJ method, a modelling, specification and verification method of the observational transition systems. The important role played in algebraic specifications by the initial algebras semantics is well known. Free models along presentation morphisms provide semantics for the modules with initial denotation in str... |
Year | DOI | Venue |
---|---|---|
2015 | 10.1093/logcom/exs044 | Journal of Logic and Computation |
Keywords | Field | DocType |
Institution,algebraic specification,initial semantics,constructor-based | Discrete mathematics,T-norm fuzzy logics,Algebraic number,Programming language,Denotation,Morphism,Semantics,Mathematics | Journal |
Volume | Issue | ISSN |
25 | 1 | 0955-792X |
Citations | PageRank | References |
3 | 0.39 | 20 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniel Găină | 1 | 42 | 5.30 |
Kokichi Futatsugi | 2 | 945 | 111.37 |