Works matching IS 09601295 AND DT 2022 AND VI 32 AND IP 9
Results: 7
Preface to Special Issue: LSFA 2019 and 2020.
- Published in:
- 2022
- By:
- Publication type:
- Editorial
Weighted synchronous automata.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 9, p. 1234, doi. 10.1017/S0960129522000421
- By:
- Publication type:
- Article
A linear logic framework for multimodal logics.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 9, p. 1176, doi. 10.1017/S0960129522000366
- By:
- Publication type:
- Article
Indexed and fibered structures for partial and total correctness assertions.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 9, p. 1145, doi. 10.1017/S0960129522000275
- By:
- Publication type:
- Article
Detection and diagnosis of deviations in distributed systems of autonomous agents.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 9, p. 1254, doi. 10.1017/S0960129522000251
- By:
- Publication type:
- Article
Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 9, p. 1119, doi. 10.1017/S096012952200010X
- By:
- Publication type:
- Article
A dual-context sequent calculus for the constructive modal logic S4.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 9, p. 1205, doi. 10.1017/S0960129522000378
- By:
- Publication type:
- Article