Dominique Larchey-Wendling

Publications

166

Citations

H-Index

2000

Active since

Affiliations

Laboratoire Lorrain de Recherche en Informatique et ses Applications(Current)

Centre National de la Recherche Scientifique

Université de Lorraine

Prevention of Organ Failure

Saarland University

Dominique Larchey-Wendling is an author at Laboratoire Lorrain de Recherche en Informatique et ses Applications specializing in engineering, automated reasoning, and formal methods.

ORCID

Top concepts

EngineeringAutomated ReasoningFormal MethodsFormal VerificationSemanticsComputer ScienceLanguageLinguisticsFuzzy LogicVerification

Publications per year

2000–2019

Publications

The Undecidability of Boolean BI through Phase Semantics

Dominique Larchey-Wendling, Didier Galmiche · 2010 · 43 citations · Full text

Computational Logic, Non-classical Logic, Complete Phase Semantics +14

Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding

Dominique Larchey-Wendling, Didier Galmiche · Mathematical Structures in Computer Science · 2009 · 27 citations · Full text

Intuitionistic Logic, Engineering, Boolean Function +19

The formal strong completeness of partial monoidal Boolean BI

Dominique Larchey-Wendling · Journal of Logic and Computation · 2014 · 25 citations

Strong Completeness, Computational Logic, Algebraic Logic +12

Nondeterministic Phase Semantics and the Undecidability of Boolean BI

Dominique Larchey-Wendling, Didier Galmiche · ACM Transactions on Computational Logic · 2013 · 19 citations · Full text

Computational Logic, Non-classical Logic, Complete Phase Semantics +15

Certified undecidability of intuitionistic linear logic via binary stack machines and Minsky machines

Yannick Forster, Dominique Larchey-Wendling · 2019 · 18 citations · Full text

Computational Logic, Non-classical Logic, Constructive Mathematics +15

Rows per page

1–5 of 8