( en | de | ru )

 

Disambiguation of "Hustadt, Ullrich"

Author of the publication

copydeleteadd this publication to your clipboard
Computational modal logic.

, , , and . Handbook of Modal Logic, volume 3 of Studies in logic and practical reasoning, North-Holland, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ullrich Hustadt

Herbert Hustadt

Anja Ullrich

Andreas Ullrich

Ullrich Dubiella

 

Other publications of authors with the same name

Computational modal logic., , , and . Handbook of Modal Logic, volume 3 of Studies in logic and practical reasoning, North-Holland, (2007)Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics., , and . PAAR@FLoC, volume 2162 of CEUR Workshop Proceedings, page 34-48. CEUR-WS.org, (2018)Modal Resolution: Proofs, Layers, and Refinements., , and . ACM Trans. Comput. Log., 20 (4): 23:1-23:38 (2019)Multi-scale verification of distributed synchronisation., , , , and . Formal Methods Syst. Des., 55 (3): 171-221 (2020)Efficient Local Reductions to Basic Modal Logic., , , and . CADE, volume 12699 of Lecture Notes in Computer Science, page 76-92. Springer, (2021)Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations., , and . J. Autom. Reason., 64 (8): 1553-1610 (2020)sf Kn : Architecture, Refinements, Strategies and Experiments., , and . J. Autom. Reason., 64 (3): 461-484 (2020)Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic., , , and . CADE, volume 14132 of Lecture Notes in Computer Science, page 382-400. Springer, (2023)Correction to: Local is Best: Efficient Reductions to Modal Logic K., , , and . J. Autom. Reason., 66 (4): 1099 (2022)Local is Best: Efficient Reductions to Modal Logic K., , , and . J. Autom. Reason., 66 (4): 639-666 (2022)