dblp.uni-trier.dewww.uni-trier.de

Frank Kriwaczek

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

1Mohd S. Ahmad [3]
2Dov M. Gabbay [1]
3Christopher J. Hogger [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)