Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Paul Y. Gloess
@inproceedings{DBLP:conf/jfplc/OrosG95, author = {Miguel{-}Angel Oros and Paul Y. Gloess}, editor = {Jean{-}Jacques Chabrier}, title = {Concept : a system for deriving datalog inheritance}, booktitle = {JFPLC'95, IV{\`{e}}mes Journ{\'{e}}es Francophones de Programmation en Logique {\&} Journ{\'{e}}e d'{\'{e}}tude Programmation par Contraintes et applications industrielles, 17-19 mai 1995, Dijon, France}, pages = {353--356}, year = {1995}, timestamp = {Fri, 28 May 2004 07:52:18 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/OrosG95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/GloessOL95, author = {Paul Y. Gloess and Miguel{-}Angel Oros and Chu Min Li}, editor = {Jean{-}Jacques Chabrier}, title = {U-Log = datalog + constraints}, booktitle = {JFPLC'95, IV{\`{e}}mes Journ{\'{e}}es Francophones de Programmation en Logique {\&} Journ{\'{e}}e d'{\'{e}}tude Programmation par Contraintes et applications industrielles, 17-19 mai 1995, Dijon, France}, pages = {369--372}, year = {1995}, timestamp = {Fri, 28 May 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/GloessOL95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lmo/OrosG94, author = {Miguel{-}Angel Oros and Paul Y. Gloess}, editor = {Fran{\c{c}}ois Rechenmann}, title = {Concept, une approche bas{\'{e}}e sur la d{\'{e}}duction naturelle pour la classification de pr{\'{e}}dicats Datalog}, booktitle = {Actes des journ{\'{e}}es Langages et Mod{\`{e}}les {\`{a}} Objets, LMO'94. Grenoble, France, 13-14 octobre}, pages = {39--52}, publisher = {{INRIA} Rh{\^{o}}nes-Alpes - {IMAG-LIFIA}}, year = {1994}, timestamp = {Thu, 05 Jul 2018 08:00:14 +0200}, biburl = {https://dblp.org/rec/conf/lmo/OrosG94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/OrosG94, author = {Miguel{-}Angel Oros and Paul Y. Gloess}, editor = {Maurice Bruynooghe}, title = {Inferring Inheritance from Datalog Programs}, booktitle = {Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994}, pages = {680}, publisher = {{MIT} Press}, year = {1994}, timestamp = {Wed, 04 Dec 2013 14:42:58 +0100}, biburl = {https://dblp.org/rec/conf/slp/OrosG94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/GuenG93, author = {Jean{-}Luc Gu{\'{e}}rin and Paul Y. Gloess}, title = {GrafOLog: a Visual Language for a Logic with Objects}, journal = {J. Vis. Lang. Comput.}, volume = {4}, number = {3}, pages = {301--324}, year = {1993}, url = {https://doi.org/10.1006/jvlc.1993.1018}, doi = {10.1006/JVLC.1993.1018}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vlc/GuenG93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpe/OrosG93, author = {Miguel{-}Angel Oros and Paul Y. Gloess}, editor = {Mireille Ducass{\'{e}} and Baudouin Le Charlier and Yow{-}Jian Lin and L. {\"{U}}mit Yal{\c{c}}inalp}, title = {Inheritance in Datalog}, booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments {(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993, Vancouver, British Columbia, Canada}, pages = {52--58}, publisher = {IRISA, Campus de Beaulieu, France}, year = {1993}, timestamp = {Mon, 02 Dec 2013 17:40:45 +0100}, biburl = {https://dblp.org/rec/conf/lpe/OrosG93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bda/LiG92, author = {Chu Min Li and Paul Y. Gloess}, editor = {Eric Simon}, title = {Applying a unified object logic model to implement a strong and dynamic interface between Prolog and an {OODBMS}}, booktitle = {VIII{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es, 15-18 Septembre 1992, Tr{\'{e}}gastel, France (Informal Proceedings)}, pages = {280}, publisher = {{INRIA}}, year = {1992}, timestamp = {Fri, 22 Jun 2018 07:10:56 +0200}, biburl = {https://dblp.org/rec/conf/bda/LiG92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/LiG92, author = {Chu Min Li and Paul Y. Gloess}, editor = {Jean{-}Paul Delahaye and Philippe Devienne and Philippe Mathieu and Pascal Yim}, title = {Realizing an efficient and incremental access to an object oriented database with Prolog}, booktitle = {JFPL'92, 1\({}^{\mbox{{\`{e}}res}}\) Journ{\'{e}}es Francophones de Programmation Logique, 25-27 Mai 1992, Lille, France}, pages = {268--283}, year = {1992}, timestamp = {Fri, 25 Jun 2004 15:29:52 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/LiG92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/LiG92, author = {Chu Min Li and Paul Y. Gloess}, editor = {Maurice Bruynooghe and Martin Wirsing}, title = {ProQuery: Logical Access to an {OODB}}, booktitle = {Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {631}, pages = {487--488}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55844-6\_162}, doi = {10.1007/3-540-55844-6\_162}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/plilp/LiG92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/GloessHLH92, author = {Paul Y. Gloess and Yan{-}Nong Huang and Chumin Li and Miguel{-}Angel Oros}, editor = {Michel Billaud and Pierre Cast{\'{e}}ran and Marc{-}Michel Corsini and Kaninda Musumbu and Antoine Rauzy}, title = {On Boolean Feature Types}, booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings}, series = {Series Bigre}, volume = {81-82}, pages = {213--220}, publisher = {Atelier Irisa, IRISA, Campus de Beaulieu}, year = {1992}, timestamp = {Wed, 12 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sas/GloessHLH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/Gloess91, author = {Paul Y. Gloess}, editor = {Jan Maluszynski and Martin Wirsing}, title = {U-Log, An Ordered Sorted Logic with Typed Attributes}, booktitle = {Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {528}, pages = {275--286}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54444-5\_105}, doi = {10.1007/3-540-54444-5\_105}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/plilp/Gloess91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/Gloess89, author = {Paul Y. Gloess}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {U-LOG, aspects formels et pratiques d'un interface entre Programmation Logique et Objets}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {71--96}, year = {1989}, timestamp = {Mon, 06 Sep 2004 15:30:23 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/Gloess89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/GuerinG89, author = {Jean{-}Luc Gu{\'{e}}rin and Paul Y. Gloess}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Programmation Logique et Objets sans variables par le dessin}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {97}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/GuerinG89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/GloessN87, author = {Paul Y. Gloess and Dung T. Nguyen}, title = {Exploitation pr{\'{e}}dictive de grammaires de m{\'{e}}tamorphose par une extension de la logique de Prolog}, booktitle = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai 1987, Tr{\'{e}}gastel, France}, pages = {109--118}, year = {1987}, timestamp = {Tue, 20 Jul 2004 14:26:49 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/GloessN87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/Gloess85, author = {Paul Y. Gloess}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {OBLOGIS, une implantation par objets et orient{\'{e}}e objets de la logique de Prolog}, booktitle = {SPLT'85, S{\'{e}}minaire Programmation en Logique, 29-31 mai 1985, Tr{\'{e}}gastel, France}, year = {1985}, timestamp = {Mon, 06 Sep 2004 15:35:20 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/Gloess85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/Gloess84, author = {Paul Y. Gloess}, editor = {Mehmet Dincbas}, title = {LOGIS, un syst{\`{e}}me {PROLOG} dans un environnement {LISP}}, booktitle = {SPLT'84, S{\'{e}}minaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Gr{\`{e}}ves, France}, year = {1984}, timestamp = {Mon, 06 Sep 2004 15:26:43 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/Gloess84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/AdamGL81, author = {Anne Adam and Paul Y. Gloess and Jean{-}Pierre H. Laurent}, editor = {Seymour Jeffrey and Leon G. Stucki}, title = {An Interactive Tool for Program Manipulation}, booktitle = {Proceedings of the 5th International Conference on Software Engineering, San Diego, California, USA, March 9-12, 1981}, pages = {460}, publisher = {{IEEE} Computer Society}, year = {1981}, url = {http://dl.acm.org/citation.cfm?id=802559}, timestamp = {Mon, 14 May 2012 18:17:19 +0200}, biburl = {https://dblp.org/rec/conf/icse/AdamGL81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/Gloess80, author = {Paul Y. Gloess}, editor = {Wolfgang Bibel and Robert A. Kowalski}, title = {An Experiment with the Boyer-Moore Theorem Prover: {A} Proof of the Correctness of a Simple Parser of Expressions}, booktitle = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {87}, pages = {154--169}, publisher = {Springer}, year = {1980}, url = {https://doi.org/10.1007/3-540-10009-1\_13}, doi = {10.1007/3-540-10009-1\_13}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/Gloess80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/GloessL80, author = {Paul Y. Gloess and Jean{-}Pierre H. Laurent}, editor = {Wolfgang Bibel and Robert A. Kowalski}, title = {Adding Dynamic Paramodulation to Rewrite Algorithms}, booktitle = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {87}, pages = {195--207}, publisher = {Springer}, year = {1980}, url = {https://doi.org/10.1007/3-540-10009-1\_16}, doi = {10.1007/3-540-10009-1\_16}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cade/GloessL80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.