Zerendatu DT-Ingeniaritza eta Arkitektura honen arabera: egilea"Abuin Yepes, Alex"
-
Certificates for decision problems in temporal logic using context-based tableaux and sequent calculi.
Abuin Yepes, Alex (2023-03-03)Esta tesis trata de resolver problemas de Satisfactibilidad y Model Checking, aportando certificados del resultado. En ella, se trabaja con tres lógicas temporales: Propositional Linear Temporal Logic (PLTL), Computation ...