( en | de | ru )

 

Disambiguierung von "Castro, Pablo F."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem.

, , , , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 405-419. Springer, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

William Castro

Susana Castro

Carlos Castro

Daniel Castro

Alfonso Castro

 

Weitere Publikationen von Autoren mit dem selben Namen

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem., , , , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 405-419. Springer, (2023)Deontic Action Logics via Algebra., , , und . DEON, Seite 77-93. College Publications, (2021)A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification., , , und . CoRR, (2022)Default Modal Systems as Algebraic Updates., , , und . DaLí, Volume 12569 von Lecture Notes in Computer Science, Seite 103-119. Springer, (2020)Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems., , , und . Fundam. Informaticae, 166 (4): 297-347 (2019)Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics., , und . STACS, Volume 30 von LIPIcs, Seite 211-223. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)A Complete and Compact Propositional Deontic Logic., und . ICTAC, Volume 4711 von Lecture Notes in Computer Science, Seite 109-123. Springer, (2007)Characterizing Locality (Encapsulation) with Bisimulation., und . ICTAC, Volume 6255 von Lecture Notes in Computer Science, Seite 322-336. Springer, (2010)Playing Against Fair Adversaries in Stochastic Games with Total Rewards., , , und . CAV (2), Volume 13372 von Lecture Notes in Computer Science, Seite 48-69. Springer, (2022)Measuring Masking Fault-Tolerance., , , und . TACAS (2), Volume 11428 von Lecture Notes in Computer Science, Seite 375-392. Springer, (2019)