Edward Hermann Haeusler

Available identifiers

zbMath Open haeusler.edward-hermannMaRDI QIDQ281153

List of research outcomes

Publication	Date of Publication	Type
Proof Compression and NP Versus PSPACE II: Addendum	2024-02-29	Paper
Indexed and fibered structures for partial and total correctness assertions	2023-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q5039187	2022-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5039194	2022-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5067946	2022-04-04	Paper
DE ZOLT’S POSTULATE: AN ABSTRACT APPROACH	2022-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q5013887	2021-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q5013820	2021-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4994969	2021-06-22	Paper
Proof Compression and NP Versus PSPACE II	2021-01-28	Paper
Indexed and fibred structures for Hoare logic	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5116416	2020-08-25	Paper
On Constructive Fragments of Classical Logic	2020-02-04	Paper
Proof compression and NP versus PSPACE	2019-05-15	Paper
Propositional dynamic logic for Petri nets	2019-01-08	Paper
Towards reasoning about Petri nets: a propositional dynamic logic based approach	2018-09-24	Paper
On strong normalization in proof-graphs for propositional logic	2018-04-23	Paper
Defining effectiveness using finite sets. A study on computability	2017-05-19	Paper
A unified procedure for provability and counter-model generation in minimal implicational logic	2017-05-19	Paper
Propositional Dynamic Logic for Petri Nets with Iteration	2016-12-21	Paper
How many times do we need an assumption to prove a tautology in minimal logic? Examples on the compression power of classical reasoning	2016-12-16	Paper
Yet another bijection between sequent calculus and natural deduction	2016-08-01	Paper
A calculus for automatic verification of Petri nets based on resolution and dynamic logics	2016-08-01	Paper
Extending propositional dynamic logic for Petri nets	2016-05-10	Paper
Finitely many-valued logics and natural deduction	2015-02-27	Paper
A Topos-Theoretic Approach to Counterfactual Logic	2014-07-23	Paper
On the Computability of Relations on λ-Terms and Rice’s Theorem - The Case of the Expansion Problem for Explicit Substitutions	2014-03-31	Paper
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems	2014-01-17	Paper
Constructive Description Logics Hybrid-Style	2013-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4918404	2013-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q3086711	2011-03-30	Paper
Mapping Modular SOS to Rewriting Logic	2011-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q3075231	2011-02-10	Paper
A note on the size of minimal covers	2010-01-29	Paper
Proof compressions with circuit-structured substitutions	2010-01-15	Paper
Action Algebras and Model Algebras in Denotational Semantics	2009-10-22	Paper
Using the Internal Logic of a Topos to Model Search Spaces for Problems	2008-01-18	Paper
Fibred and Indexed Categories for Abstract Model Theory	2008-01-18	Paper
Logical Aspects of Computational Linguistics	2005-11-23	Paper
Exploring Computational Contents of Intuitionist Proofs	2005-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4812325	2004-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4438104	2003-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4438121	2003-12-09	Paper
Code migration and program maintainability -- A categorical perspective	2002-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q2767190	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2735815	2001-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4518817	2000-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4487378	2000-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4370280	1998-02-02	Paper
A Concrete Categorical Model for the Lambek Syntactic Calculus	1997-05-25	Paper
A formalization of Sambins's normalization for GL	1994-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q3781732	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Edward Hermann Haeusler