Author of the publication

Reduction Theorems for Boolean Formulas Using Delta-Trees.

, , , , and . JELIA, volume 1919 of Lecture Notes in Computer Science, page 179-192. Springer, (2000)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Ubiquitous Applications Comparative: Applications Executed in Server vs. Applications in Client., , , , and . ICUC, volume 208 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)Characterization of Anisotropic Salt Weathering through Nondestructive Techniques Mapping Using a GIS Environment., , , , , and . Sensors, 24 (9): 2686 (May 2024)Integración de UML en la metodología MÉTRICA., , , and . JISBD, page 307-316. Grupo de Paralelismo, Departamento de Informática, Escuela Politécnia, Universidad de Extremadura, (1999)Determining vine leaf water stress by functional data analysis., , , and . Int. J. Comput. Math., 88 (9): 1941-1948 (2011)Towards Concepts for Climate and Energy-Oriented Digital Twins for Buildings., , , , , and . Web3D, page 31:1-31:9. ACM, (2023)Functional statistical techniques applied to vine leaf water content determination., , , , and . Math. Comput. Model., 52 (7-8): 1116-1122 (2010)Interfaces de Realidad Virtual en Bibliotecas Digitales., , , and . JBIDI, (2000)A general mechanism of humor: reformulating the semantic overlap.. CoRR, (2023)Application of a Hybrid 3D-2D Laser Scanning System to the Characterization of Slate Slabs., , , , and . Sensors, 10 (6): 5949-5961 (2010)Machine Learning Techniques as a Helpful Tool Toward Determination of Plaque Vulnerability., , , and . IEEE Trans. Biomed. Eng., 59 (4): 1155-1161 (2012)