A tribute to José Manuel Valença
From MaRDI portal
Publication:2168787
DOI10.1016/J.JLAMP.2022.100792OpenAlexW4290860623WikidataQ114159200 ScholiaQ114159200MaRDI QIDQ2168787FDOQ2168787
Pedro Rangel Henriques, L. S. Barbosa, J. N. Oliveira, Jorge Sousa Pinto
Publication date: 26 August 2022
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2022.100792
Cites Work
- Schreier split extensions of preordered monoids
- The stability of input-output dynamical systems
- Simpler proofs with decentralized invariants
- A formal treatment of the role of verified compilers in secure computation
- Event-based time-stamped claim logic
- How to calculate with nondeterministic functions
- Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus
- Formalizing Moessner's theorem and generalizations in \textsc{Nuprl}
- Graded epistemic logic with public announcement
- Title not available (Why is that?)
- Nyquist criterion for input/output stability of multivariable systems
This page was built for publication: A tribute to José Manuel Valença
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2168787)