Buenaventura Clares Rodríguez

Publication Activity (10 Years)

Years Active: 1992-1994
Publications (10 Years): 0

Publications

Juan Carlos Torres, Buenaventura Clares Rodríguez
Understanding Direct Manipulation Interaction Algebraically. DSV-IS (1994)
Juan Carlos Torres, Buenaventura Clares Rodríguez
A Formal Approach to the Specification of Graphic Objects Functions. Comput. Graph. Forum 13 (3) (1994)
Juan Carlos Torres, Buenaventura Clares Rodríguez
Graphic Objects: A Mathematical Abstract Model for Computer Graphics. Comput. Graph. Forum 12 (5) (1993)
Salvador Villena, Emilia Ruiz, Cecilia Delgado, Buenaventura Clares Rodríguez
Deduccion del Conjunto de Condiciones Independiente de la Transaccion que Violan las Restricciones de Integridad de una Base de datos Deductiva. GULP (1993)
Vilena Morales, Ruiz Martín, Cecilia Delgado Negrete, Buenaventura Clares Rodríguez
Efficient Implementation of Deductive Database Based on the Method of Potential Effects. DEXA (1992)
Salvador Villena, Buenaventura Clares Rodríguez
Specification of Information Systems by State Machine Deduced from Deductive Conceptual Models. DAISD (1992)