CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
Kifer, M. and Lausen, G. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proceedings of the ACM SIGMOD, 1989.
M. Kifer, G. Lausen: F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme. In: Proc. of the ACM SIGMOD Int. Conf. on Management of Data, 1989,pp.134-146.
Michael Kifer and Georg Lausen. F-logic: a higher-order language for reasoning about objects, inheritence and scheme. In Proc ACM SIGMOD, pages 134--146, 1989.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects. In Proc. ACM SIGMOD Symp. on the Management of Data, 1989.
M. Kifer and G. Laussen. F-logic: A higher order language for reasoning about objects, inheritance, and scheme. In Proceedings of ACM-SIGMOD 1989, pages 46--57, June 1989.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects. In sigmod, 1989.
Michael Kifer and Georg Lausen. F-Logic: A higher-order language for reasoning about objects, inheritance, and scheme. In James Clifford, Bruce Lindsay, and David Maier, editors, Proceedings of the ACM SIGMOD International Conference on the Management of Data, pages 134--146, Portland, Oregon, 1989.
M. Kifer and G. Lausen. F-logic: a higherorder language for reasoning about objects, inheritance, and scheme. In Proc. ACM SIGMOD Conf., pages 134--46, Portland, OR, June 1989.
M. Kifer and G. Lausen. F-logic: A HigherOrder Language for Reasoning about Objects, Inheritance and Scheme. In James Clifford, Bruce Lindsay, and David Maier, editors, Proc. ACM SIGMOD Conf., pages 134-- 146, 1989.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proc. of the 1989 ACM-SIGMOD Conference on the Management of Data, pages 134-- 146, Portland, OR, June 1989.
M. Kifer and G. Laussen. F-logic: A higher order language for reasoning about objects, inheritance, and scheme. In Proceedings of ACM-SIGMOD 1989, pages 46--57, June 1989.
M. Kifer and G. Lausen. F-logic: a higher-order language for reasoning about objects, inheritance, and scheme. In Proc. ACM SIGMOD Conf., pages 134--46, Portland, OR, June 1989.
M. Kifer, , and G. Lausen. F-Logic: a higherorder language for reasoning about objects, inheritence and scheme. In Proc ACM SIGMOD, pages 134--146, 1989.
M. Kifer, G. Lausen: F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme. In: Proc. of the ACM SIGMOD Int. Conf. on Management of Data, 1989,pp.134-146.
M. Kifer and G. Lausen. F-logic: a higher-order language for reasoning about objects, inheritance, and scheme. In Proc. ACM SIGMOD Conf., pages 134--46, Portland, OR, June 1989.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In SIGMOD-89, 1989.
M. Kifer and G. Lausen. F-logic: A Higher-Order Language for Reasoning about Objects, Inheritance and Scheme. In James Clifford, Bruce Lindsay, and David Maier, editors, Proc. ACM SIGMOD International Conference on the Management of Data, pp. 134--146. ACM Press, A revised and extended version exists as [28] (1989).
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and schema. In Proc. of the ACM-SIGMOD International Conference on Management of Data, pages 134--146, June 1989.
M. Kifer, G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance and Scheme. Proc. of SIGMOD Conf., 1989
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance and schema. In ACM SIGMOD Conference on Management of Data, pages 134--146, New York, 1989. ACM.
Kifer, M. and G. Lausen F-Logic: A higher-order language for reasoning about objects, inheritance, and scheme. Proc. SIGMOD Conf., June 1989, pp. 134--146.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects. In Proc. ACM SIGMOD Symp. on the Management of Data, 1989.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proc. of the ACM SIGMOD Conf. on Management of Data, pages 134--146, Portland, OR, 1989.
Kifer, M. and G. Lausen F-Logic: A higher-order language for reasoning about objects, inheritance, and scheme. Proc. SIGMOD Conf., June 1989, pp. 134--146.
M. Kifer and G.Lausen. F-Logic: a higher order language for reasoning about objects, inheritance, and scheme. In Proc. ACM SIGMOD Conference on Management of Data, pages 134--146, ACM New York, May 1989.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In SIGMOD-89, 1989.
M. Kifer and G. Lausen, F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme, ACM SIGMOD International Conference on Management of Data, SIGMOD Record Vol.18, No.2, 1989.
M. Kifer and G. Lausen: F-Logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proceedings of the 18th International ACM SIGMOD Conference on Management of Data (Portland, Oregon, May 31-June 2), 1989, 134-146.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In SIGMOD-89, 1989.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects. In sigmod, 1989.
Michael Kifer and Georg Lausen. F-Logic: A higher-order language for reasoning about objects, inheritance, and scheme. In James Clifford, Bruce Lindsay, and David Maier, editors, Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, pages 134--146. SIGMOD RECORD, 18(2), 1989.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and schema. In Proc. of the ACM-SIGMOD International Conference on Management of Data, pages 134--146, June 1989.
M. Kifer and G. Lausen. F-logic: a higher-order language for reasoning about objects, inheritance, and scheme. In Proc. ACM SIGMOD Conf., pages 134-- 46, Portland, OR, June 1989.
M. Kifer and G. Lausen. F-Logic: A Higher-Order Language for Reasoning About Objects, Inheritance, and Scheme. ACM SIGMOD Record, 18(2):134-- 146, 1989. Proc. ACM SIGMOD Conf. on Management of Data.
M. Kifer and G. Lausen. F-Logic: A higher-order language for reasoning about objects, inheritance, and scheme. In ACM-SIGMOD Proc. of the Int. Conference on Management of Data, pages 134 -- 145, 1989.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance and schema. In Proceedings of the ACM SIGMOD Conference on Management of Data, pages 134--146, 1989.
M. Kifer, G. Lausen. F-logic: A Higher-Order Language for Reasoning About Objects, Inheritance and Scheme. Proc. ACM SIGMOD Conf., 1989.
M. Kifer and G. Lausen. F-Logic: A Higher-Order Language for Reasoning About Objects, Inheritance, and Scheme. In ACM SIGMOD Conf. on Management of Data, pages 134--146, 1989.
M. Kifer amd G. Lausen. F-Logic: A Higher-Order Language for Reasoning about Objects, Inherhitance, and Scheme. Proc. ACM SIGMOD International Conference on Management of Data, Portland, OR, MayJune 1989.
Kifer, F.; Lausen, G. (1989). F-Logic: A Higher-Order Language for Reasoning About Objects, Inheritance, and Scheme. In: Proceedings of the ACM SIGMOD International Conference on the Management of Data, pages 134--146. ACM, New York.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proceedings of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 134--146, 1989.
Kifer, M., Lausen, G.: F-Logic: A Higher-Order Language for Reasoning About Objects, Inheritance and Scheme, Proc. ACM SIGMOD Conference, 134-146, 1989.
M. Kifer and G. Lausen. F-Logic: a Higher-Order Language for Reasoning about Objects, Inheritance and Schema. In ACM SIGMOD Conference on Management of Data, pages 134--146, 1989.
M. Kifer and G. Lausen: F-Logic: A Higher-Order Languages for Reasoning about Objects, Inheritance, and Scheme, SIGMOD, 1989.
M. Kifer, G. Lausen, F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme, ACM SIGMOD 1989
M. Kifer and G. Laussen. F-logic: A higher order language for reasoning about objects, inheritance, and scheme. In Proceedings of ACM-SIGMOD 1989, pages 46--57, June 1989.
M. Kifer and G. Lausen. F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme. In Proceedings of the ACM SIGMOD Conference on Management of Data, pages 134-146, 1989.
Kifer, M. and Lausen, G. [1989] F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme, ACM SIGMOD Conf. on Management of Data, May 1989, pp. 134--146.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proc. ACM SIGMOD, pages 134--146, 1989.
M. Kifer, G. Lausen: F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In J. Clifford, B. Lindsay, D. Maier (eds.), Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data, 134--146, 1989.
M. Kifer and G. Lausen, F-logic: A higher-order language for reasoning about objects, inheritance and schema. Proc. ACM SIGMOD Conf. 1989, 134 -- 146.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 134--146, 1989.
M. Kifer and G. Lausen. F-logic: A higher order language for reasoning about objects, inheritance and scheme. In ACM SIGMOD International Conf. on Management of Data, pages 134--146, 1989.
M. Kifer and G. Lausen. F-Logic: A higher order language for reasoning about objects, inheritance, and scheme. In Proc. ACM SIGMOD Conference on Management of Data, pages 134--146. ACM New York, May 1989.
M. Kifer and G. Lausen. F-Logic: A higher order language for reasoning about objects, inheritance, and scheme. In Proc. ACM SIGMOD Conference on Management of Data, pages 134--146. ACM New York, May 1989.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects. In sigmod, 1989.
M. Kifer and G. Lausen. F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Schema. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 134--146, 1989.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance and schema. In ACM SIGMOD Conference on Management of Data, pages 134--146, 1989. REFERENCES 97
Kifer, M., and Lausen, G. F-logic: A higher order language for reasoning about objects, inheritance, and scheme. In Proceedings of the ACM SIGMOD Int. Conf. on Management of Data (Oregon, USA, 1989), ACM, pp. 134--146.
Michael Kifer and Georg Lausen. F-Logic: A higher-order language for reasoning about objects, inheritance, and scheme. In James Clifford, Bruce Lindsay, and David Maier, editors, Proceedings of the ACM SIGMOD International Conference on the Management of Data, pages 134--146, Portland, Oregon, 1989.
M. Kifer and G. Lausen. F-logic: a higher-order language for reasoning about objects, inheritance, and scheme. In Proc. ACM SIGMOD Conference, pages 134--46, Portland, OR, June 1989.
M. Kifer, G. Lausen, F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme, Proc. of the ACM Conf. on Management of Data, 1989, pp. 134-146.
M. Kifer and G. Lausen. F-Logic: A higher order language for reasoning about objects, inheritance, and scheme. In Proc. ACM SIGMOD Conf. on Management of Data, pages 134--146, Portland, OR, May 1989. ACM.
M. Kifer and G. Lausen. F-Logic: A higher order language for reasoning about objects, inheritance, and scheme. In Proc. ACM SIGMOD Conf. on Management of Data, pages 134--146, Portland, OR, May 1989. ACM.
Michael Kifer and Georg Lausen. F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme. In Proceedings of the ACM SIGMOD Conference on Management of Data. ACM, 1989.
M. Kifer, G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance and Scheme. Proc. of SIGMOD Conf., 1989.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proceedings of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 134--146, 1989.
M. Kifer and G. Lausen. F-logic: A higher order language for reasoning about objects, inheritance and scheme. In ACM SIGMOD International Conf. on Management of Data, pages 134--146, 1989.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In SIGMOD-89, 1989.
M. Kifer and G. Lausen. F-logic: A higher order language for reasoning about objects, inheritance and scheme. In ACM SIGMOD International Conf. on Management of Data, pages 134--146, 1989.
Michael Kifer and G. Lausen. F-Logic: A Higher-Order Language for Reasoning about Objects. In Proceedings of the ACM SIGMOD Conference on Management of Data. ACM, 1989.
M.Kifer and G.Lausen, F-Logic: a Higher-Order Language for Reasoning about Objects, Inheritance and Sheme. Proc. ACM SIGMOD 1989. Portland, OR. April 1989
M. Kifer, G. Lausen, F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme, ACM SIGMOD 1989
Kifer,M. and Lausen,G., F-Logic: a higher order language for reasoning about objects, inheritance and scheme. Proceedings of the ACM SIGMOD symposium on principles of database systems, SIGMOD RECORD, Vol.18, No.6, (1990).
Michael Kifer and Georg Lausen. F-logic: a higher order language for reasoning about objects, inheritance, and schema. In James Cli ord, Bruce G. Lindsay, and David Maier, editors, Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, pages 134-146, 1989.
Kifer, M., and Lausen, G., F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme, ACM SIGMOD Conf. on Mgt of Data, May 1989. pp. 134-146
Kifer, M., and Lausen, G. F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme. In Proceedings of ACM SIGMOD International Conference on Management of Data (1989), pp. 134--146.
M. Kifer, G. Lausen: F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In J. Cli#ord, B. Lindsay, D. Maier (eds.), Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data, 134--146, 1989.
M. Kifer and G. Lausen. F-Logic: A higher-order language for reasoning about objects, inheritance, and schema. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 134--146, 1989.
Kifer M. and Lausen G. F-logic: A Higher-order Language for Reasoning about Objects, Inheritance, and Schema, In: Proceedings, ACM-SIGMOD Intl. Conf. on Management of Data, June 1989, pp. 134-146.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects. In sigmod, 1989.
M. Kifer, G. Lausen. F-Logic: A Higher-order Language for Reasoning about Objects, Inheritance and Schema, in Proc. SIGMOD 1989, 134-146
M. Kifer, G. Lausen. F-Logic: A Higher-order Language for Reasoning about Objects, Inheritance and Schema, in Proc. SIGMOD 1989, 134-146
Michael Kifer and George Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 134--146, Portland, Oregon, 1989.
M. Kifer and G. Lausen. F-Logic: A higher--order language for reasoning about objects, inheritance, and scheme. In SIGMOD, pages 134--146, 1989.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects. In sigmod, 1989.
M. Kifer & G. Lausen. F-logic: A Higher-Order Language for Reasoning about Objects, Inheritance and Scheme. In Proceedings of the 8th ACM SICACT-SIGMOD-SIGART Symposium on the Principles of Database Systems, 1989, pp. 134-146.
M. Kifer and G. Lausen. F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Schema. In Proc. of the ACM SIGMOD Int'l Conf. on Management of Data, pages 134--146, 1990. E. Bertino, G. Guerrini, D. Montesi
M. Kifer and G. Laussen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proceedings of ACM SIGMOD, pages 134--146, 1989.
M. Kifer and G. Lausen. F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Schema. In Proc. of the ACM SIGMOD Lnt'l Conf. on Management of Data, pages 134 146, 1990.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance and scheme. In Proc. SIGMOD, 1989.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proceedings of ACM SIGMOD Conf. on Management of Data,volume 18, pages 134--146, Portland, Oregon, June 1989.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In J. Clifford, B. G. Lindsay, and D. Maier, editors, Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, May 31 - June 2, 1989, pages 134--146. ACM Press, 1989.
M. Kifer and G. Lausen, F-logic: A higher-order language for reasoning about objects, inheritance and schema. Proc. ACM SIGMOD Conf. 1989, 134 -- 146.
Kifer, M., and Lausen, G. F-logic: a higher-order language for reasoning about objects, inheritance, and scheme. In International Conference on Management of Data and Symposium on Principles of Database Systems (1989), ACM Press, pp. 134-146.
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proceedings of ACM SIGMOD Conf. on Management of Data,volume 18, pages 134--146, Portland, Oregon, June 1989.
Michael Kifer and Georg Lausen. F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme. In James Cli#ord, Bruce G. Lindsay, and David Maier, editors, Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, pages 134-- 146, Portland, Oregon, 31 May--2 June 1989.
M. Kifer, G. Lausen: F-Logic - A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme, Freiburg, 1990
M. Kifer and G. Lausen. F-logic: A higher-order language for reasoning about objects, inheritance, and scheme. In Proceedings of ACM SIGMOD Conf. on Management of Data, volume 18, pages 134--146, Portland, Oregon, June 1989.