( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Solving Planning Problems by Partial Deduction.

, и . LPAR, том 1955 из Lecture Notes in Computer Science, стр. 451-468. Springer, (2000)

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.

Michael Leuschel

Dieter Leuschel

Roland Leuschel

Hilde Leuschel

Michael Bode

Le groupe international de sociétés: le système de conflit de lois en droit comparé français et allemand. HU Berlin, (2009)
 

Другие публикации лиц с тем же именем

Integrating formal specifications into applications: the ProB Java API., , , , и . Formal Methods Syst. Des., 58 (1-2): 160-187 (2021)Generating interactive documents for domain-specific validation of formal models., , и . Int. J. Softw. Tools Technol. Transf., 26 (2): 147-168 (апреля 2024)Formally Checking Large Data Sets in the Railways, , и . CoRR, (2012)ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods., и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 248-254. Springer, (2020)Towards a Shared Specification Repository., , и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 266-271. Springer, (2020)Translating Alloy and extensions to classical B., , , , и . Sci. Comput. Program., (2020)VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics., и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 260-265. Springer, (2020)Improving Size-Change Analysis in Offline Partial Evaluation, , и . CoRR, (2009)Homeomorphic Embedding for Online Termination of Symbolic Methods.. The Essence of Computation, том 2566 из Lecture Notes in Computer Science, стр. 379-403. Springer, (2002)Optimising the ProB Model Checker for B Using Partial Order Reduction., и . SEFM, том 8702 из Lecture Notes in Computer Science, стр. 220-234. Springer, (2014)