Concept
Équivalence logique
Publications associées (4)
On Polynomial Algorithms for Normalizing Formulas
Viktor Kuncak, Simon Guilloud, Mario Bucev
We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...
2022Causal semantics for the algebra of connectors
The Algebra of Connectors AC(P) is used to model structured interactions in the BIP component framework. Its terms are connectors, relations describing synchronization constraints between the ports of component-based systems. Connectors are structured comb ...
Springer Verlag2010Mechanistic interpretation of Alpine glacierized environments: Part 2. Hydrologic interpretation and model parameters identification on case study
The differential model MIAGE (see "Mechanistic Interpretation of Alpine Glacierized Environments: Part 1. Model formulation and related dynamical properties" by Perona and Burlando, this issue) is analyzed in this work with the purpose of: (i) showing the ...
Elsevier2008Modeling Enterprise Web Applications
The purpose of this paper is to provide an overview of our approach for modeling enterprise web applications (EWA), which is use case driven and uses UML as the modeling language. Our approach delivers a conceptual, logical model of the application, which ...
2000