( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A celebration of Alan Turing's achievements in the year of his centenary.

. ITOR, 19 (3): 487-491 (2012)

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

 

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

Code migration and program maintainability A categorical perspective., и . Inf. Process. Lett., 79 (5): 249-254 (2001)Normative Multi-Agent Systems and Kelsenian Jurisprudence., и . CoRR, (2017)An Intuitionisticaly based Description Logic., и . CoRR, (2014)NP vs PSPACE., и . CoRR, (2016)On the 2-Categorical View of Proofs., и . ISoLA (1), том 6415 из Lecture Notes in Computer Science, стр. 502-518. Springer, (2010)Is It Important to Explain a Theorem? A Case Study on UML and ALCQIALCQI., и . ER Workshops, том 5833 из Lecture Notes in Computer Science, стр. 34-44. Springer, (2009)A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu., , , , и . LCTES, стр. 1-18. ACM, (2018)Inferencing Relational Database Tuning Actions with OnDBTuning Ontology., , , , , и . SBBD, стр. 157-168. SBC, (2021)Reasoning over Knowledge Graphs in an Intuitionistic Description Logic., , и . XAILA@JURIX, том 2891 из CEUR Workshop Proceedings, CEUR-WS.org, (2020)Peirce's Rule in a Full Natural Deduction System., , , и . LSFA, том 256 из Electronic Notes in Theoretical Computer Science, стр. 5-18. Elsevier, (2009)