( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Intentional Semantics for Molecular Biology.

, , , , , , , , , и . BSB, том 13954 из Lecture Notes in Computer Science, стр. 94-105. Springer, (2023)

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.

Axel Haeusler

Werner Haeusler

Jochen Haeusler

Martin Haeusler

Gustav Haeusler

 

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

Intuitionistic PUC-Logic for Constructive Counterfactuals., , и . CoRR, (2014)Converting NCL Documents to Smix and Fixing Their Semantics and Interpretation in the Process., , , и . WebMedia, стр. 109-116. ACM, (2017)Going from the huge to the small: Efficient succinct representation of proofs in Minimal implicational logic.. CoRR, (2020)Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning., и . J. Univers. Comput. Sci., 16 (20): 3016-3042 (2010)A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals., , и . Description Logics, том 3263 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Intentional Semantics for Molecular Biology., , , , , , , , , и . BSB, том 13954 из Lecture Notes in Computer Science, стр. 94-105. Springer, (2023)Defining Effectiveness Using Finite Sets A Study on Computability., , и . WEIT, том 324 из Electronic Notes in Theoretical Computer Science, стр. 91-106. Elsevier, (2015)Using Ontologies to Formalize Services Specifications in Multi-agent Systems., , , и . FAABS, том 3228 из Lecture Notes in Computer Science, стр. 92-110. Springer, (2004)K-mer Mapping and de Bruijn graphs: The case for velvet fragment assembly., , , , , и . BIBM, стр. 882-889. IEEE Computer Society, (2016)On proof theory in computer science., и . CoRR, (2020)