Frank Kriwaczek

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2004

4 Christopher J. Hogger, Frank Kriwaczek: Constraint-Guided Enterprise Portals. ICEIS (3) 2004: 411-418

2003

3 Christopher J. Hogger, Frank Kriwaczek, Mohd S. Ahmad: A Flexible Constraint-Based Portal Architecture. CAINE 2003: 1-6

1992

2 Frank Kriwaczek: An Introduction to Constraint Logic Programming. Advanced Topics in Artificial Intelligence 1992: 82-94

1991

1 Dov M. Gabbay, Frank Kriwaczek: A Family of Goal Directed Theorem Provers Based on Conjunction and Implication: Part I. J. Autom. Reasoning 7(4): 511-536 (1991)

	2004
4		Christopher J. Hogger, Frank Kriwaczek: Constraint-Guided Enterprise Portals. ICEIS (3) 2004: 411-418
	2003
3		Christopher J. Hogger, Frank Kriwaczek, Mohd S. Ahmad: A Flexible Constraint-Based Portal Architecture. CAINE 2003: 1-6
	1992
2		Frank Kriwaczek: An Introduction to Constraint Logic Programming. Advanced Topics in Artificial Intelligence 1992: 82-94
	1991
1		Dov M. Gabbay, Frank Kriwaczek: A Family of Goal Directed Theorem Provers Based on Conjunction and Implication: Part I. J. Autom. Reasoning 7(4): 511-536 (1991)

Coauthor Index