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:

Felty, Amy;
Reis, Giselle

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:

Gomes, Leandro;
Madeira, Alexandre;
Barbosa, Luis Soares

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:

Miranda-Perea, Favio Ezequiel;
González Huesca, Lourdes del Carmen;
Linares Arévalo, Pilar Selene

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:

Xavier, Bruno;
Olarte, Carlos;
Pimentel, Elaine

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:

Wolter, U.E.;
Martini, A.R.;
Häusler, E.H.

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:

Nigam, Vivek;
Kim, Minyoung;
Mason, Ian;
Talcott, Carolyn

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:

Preto, Sandro;
Finger, Marcelo

Publication type:

Article