scientific article; zbMATH DE number 6026953
From MaRDI portal
Publication:5389723
zbMath1249.03004MaRDI QIDQ5389723
Pablo Cordero, G. Gutiérrez, J. Martínez, Inma P. de Guzmán
Publication date: 23 April 2012
Full work available at URL: https://eudml.org/doc/33663
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Non-deterministic ideal operators: an adequate tool for formalization in data bases ⋮ Generalizations of lattices via non-deterministic operators
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics
- An incremental method for generating prime implicants/implicates
- Characterizing diagnoses and systems
- Functional dependencies in Horn theories
- The approximation of implicates and explanations
- Non-determinism in logic-based languages
- Bases for closed sets of implicants and implicates in temporal logic
- Satisfiability testing for Boolean formulas using \(\Delta\)-trees
- A temporal negative normal form which preserves implicants and implicates
- Reductions for non-clausal theorem proving
This page was built for publication: