Frank Kriwaczek

Publication Activity (10 Years)

Years Active: 1988-2004
Publications (10 Years): 0

Publications

Christopher J. Hogger, Frank Kriwaczek
Deriving Tool Specifications from User Actions. IEICE Trans. Inf. Syst. (4) (2004)
Christopher J. Hogger, Frank Kriwaczek
Constraint-Guided Enterprise Portals. ICEIS (3) (2004)
Christopher J. Hogger, Frank Kriwaczek, Mohd S. Ahmad
A Flexible Constraint-Based Portal Architecture. CAINE (2003)
Frank Kriwaczek
An Introduction to Constraint Logic Programming. Advanced Topics in Artificial Intelligence (1992)
Dov M. Gabbay, Frank Kriwaczek
A Family of Goal Directed Theorem Provers Based on Conjunction and Implication: Part I. J. Autom. Reason. 7 (4) (1991)
Frank Kriwaczek
Man-Computer Interfaces: An Introduction to Software Design and Implementation. J. Inf. Technol. 3 (2) (1988)