A tribute to José Manuel Valença
From MaRDI portal
Publication:2168787
DOI10.1016/J.JLAMP.2022.100792OpenAlexW4290860623WikidataQ114159200 ScholiaQ114159200MaRDI QIDQ2168787FDOQ2168787
Authors: J. N. Oliveira, Jorge Sousa Pinto, Pedro Rangel Henriques, L. S. Barbosa 
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
Recommendations
- A question is more illuminating than an answer. A Festschrift for Paulo A. S. Veloso
- Logic, intelligence, and artifices. Tributes to Tarcísio H. C. Pequeno
- scientific article; zbMATH DE number 6934359
- Guest editors' foreword
- Special issue: Selected papers of the 7th and 8th workshops on logical and semantic frameworks with applications (LSFA)
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)
