( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Intuitionistic PUC-Logic for Constructive Counterfactuals.

, , и . CoRR, (2014)

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

 

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

NP vs PSPACE., и . CoRR, (2016)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)A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu., , , , и . LCTES, стр. 1-18. ACM, (2018)Normative Multi-Agent Systems and Kelsenian Jurisprudence., и . CoRR, (2017)On the 2-Categorical View of Proofs., и . ISoLA (1), том 6415 из Lecture Notes in Computer Science, стр. 502-518. Springer, (2010)Peirce's Rule in a Full Natural Deduction System., , , и . LSFA, том 256 из Electronic Notes in Theoretical Computer Science, стр. 5-18. Elsevier, (2009)Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic., , , и . AMAST, том 1816 из Lecture Notes in Computer Science, стр. 407-421. Springer, (2000)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 Study of Database Models for Social Network Analysis., , , , и . SBBD, стр. 397-402. SBC, (2022)