default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Hervé Gallaire
@incollection{DBLP:books/el/beierleP95/Gallaire95,
author = {Herv{\'{e}} Gallaire},
editor = {Christoph Beierle and
Lutz Pl{\"{u}}mer},
title = {Logic Programming - Past or Future?},
booktitle = {Logic Programming: Formal Methods and Practical Applications, Studies
in Computer Science and Artificial Intelligence},
pages = {397--404},
publisher = {Elsevier Science B.V./North-Holland},
year = {1995},
timestamp = {Mon, 05 Aug 2019 11:57:50 +0200},
biburl = {https://dblp.org/rec/books/el/beierleP95/Gallaire95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/AndreoliGP94,
author = {Jean{-}Marc Andreoli and
Herv{\'{e}} Gallaire and
Remo Pareschi},
editor = {Paolo Ciancarini and
Oscar Nierstrasz and
Akinori Yonezawa},
title = {Rule-Based Object Coordination},
booktitle = {Object-Based Models and Languages for Concurrent Systems, ECOOP'94
Workshop on Models and Languages for Coordination of Parallelism and
Distribution, Bologna, Italy, July 5, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {924},
pages = {1--13},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-59450-7\_1},
doi = {10.1007/3-540-59450-7\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/AndreoliGP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/Gallaire92,
author = {Herv{\'{e}} Gallaire},
title = {Finding the Best Route for Logic Programming - Panel Position Paper},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {220--222},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 10:45:39 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/Gallaire92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/GallaireN90,
author = {Herv{\'{e}} Gallaire and
Jean{-}Marie Nicolas},
editor = {Serge Abiteboul and
Paris C. Kanellakis},
title = {Logic and Databases: An Assessment},
booktitle = {ICDT'90, Third International Conference on Database Theory, Paris,
France, December 12-14, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {470},
pages = {177--186},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53507-1\_76},
doi = {10.1007/3-540-53507-1\_76},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/GallaireN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Gallaire89,
author = {Herv{\'{e}} Gallaire},
editor = {Serge Bourgault and
Mehmet Dincbas},
title = {Programmation en Logique: faire encore plus},
booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
pages = {605},
year = {1989},
timestamp = {Mon, 06 Sep 2004 15:30:23 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Gallaire89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/Gallaire89,
author = {Herv{\'{e}} Gallaire},
editor = {Peter M. G. Apers and
Gio Wiederhold},
title = {From a laguna to open waters: Another view on the next generations
of databases},
booktitle = {Proceedings of the Fifteenth International Conference on Very Large
Data Bases, August 22-25, 1989, Amsterdam, The Netherlands},
pages = {1},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://www.vldb.org/conf/1989/P001.PDF},
timestamp = {Wed, 29 Mar 2017 16:45:23 +0200},
biburl = {https://dblp.org/rec/conf/vldb/Gallaire89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wi/MantheyGN89,
author = {Rainer Manthey and
Herv{\'{e}} Gallaire and
Jean{-}Marie Nicolas},
editor = {Wilfried Brauer and
Christian Freksa},
title = {Can We Reach a Uniform Paradigm for Deductive Query Evaluation?},
booktitle = {Wissensbasierte Systeme, 3. Internationaler GI-Kongress, M{\"{u}}nchen,
16./17. Oktober 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {227},
pages = {17--32},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-75182-0\_3},
doi = {10.1007/978-3-642-75182-0\_3},
timestamp = {Thu, 29 Mar 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wi/MantheyGN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/Gallaire88,
author = {Herv{\'{e}} Gallaire},
title = {Multiple Reasoning Styles in Logic Programming},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {1089--1099},
publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
year = {1988},
timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/Gallaire88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/GallaireN87,
author = {Herv{\'{e}} Gallaire and
Jean{-}Marie Nicolas},
title = {Logic Approach to Knowledge and Data Bases at {ECRC}},
journal = {{IEEE} Data Eng. Bull.},
volume = {10},
number = {4},
pages = {2--9},
year = {1987},
url = {http://sites.computer.org/debull/87DEC-CD.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/GallaireN87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/Gallaire87,
author = {Herv{\'{e}} Gallaire},
title = {{ECRC:} {A} joint industrial research centre},
journal = {Future Gener. Comput. Syst.},
volume = {3},
number = {4},
pages = {279--283},
year = {1987},
url = {https://doi.org/10.1016/0167-739X(87)90032-X},
doi = {10.1016/0167-739X(87)90032-X},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/Gallaire87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/GallaireMN87,
author = {Herv{\'{e}} Gallaire and
Jack Minker and
Jean{-}Marie Nicolas},
title = {Logic and Databases: {A} Response},
journal = {{ACM} {SIGPLAN} Notices},
volume = {22},
number = {6},
pages = {20--24},
year = {1987},
url = {https://doi.org/10.1145/24900.24901},
doi = {10.1145/24900.24901},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/GallaireMN87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Gallaire87,
author = {Herv{\'{e}} Gallaire},
editor = {Jean{-}Louis Lassez},
title = {Boosting Logic Programming},
booktitle = {Logic Programming, Proceedings of the Fourth International Conference,
Melbourne, Victoria, Australia, May 25-29, 1987 {(2} Volumes)},
pages = {962--988},
publisher = {{MIT} Press},
year = {1987},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Gallaire87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/GallaireM086,
author = {Herv{\'{e}} Gallaire and
Jack Minker and
Jean{-}Marie Nicolas},
title = {Logic and databases: a response},
journal = {{SIGACT} News},
volume = {18},
number = {2},
pages = {52--56},
year = {1986},
url = {https://doi.org/10.1145/24652.24655},
doi = {10.1145/24652.24655},
timestamp = {Wed, 28 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/GallaireM086.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Gallaire86,
author = {Herv{\'{e}} Gallaire},
editor = {Tom Kehler and
Stanley J. Rosenschein},
title = {Merging Objects and Logic Programming: Relational Semantics},
booktitle = {Proceedings of the 5th National Conference on Artificial Intelligence.
Philadelphia, PA, USA, August 11-15, 1986. Volume 2: Engineering},
pages = {754--758},
publisher = {Morgan Kaufmann},
year = {1986},
url = {http://www.aaai.org/Library/AAAI/1986/aaai86-126.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Gallaire86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ds/Gallaire86,
author = {Herv{\'{e}} Gallaire},
editor = {Robert Meersman and
Am{\'{\i}}lcar Sernadas},
title = {Bridging the Gap between {AI} and Databases: Logic Approach},
booktitle = {Proceedings of the {IFIP} {WG} 2.6 Working Conference on Data Semantics,
"Data and Knowledge" {(DS-2).} Albufeira, Portugal, 3-7 November,
1986},
pages = {151--172},
publisher = {North-Holland},
year = {1986},
timestamp = {Fri, 28 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ds/Gallaire86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/GallaireN85,
author = {Herv{\'{e}} Gallaire and
Jean{-}Marie Nicolas},
editor = {Joachim W. Schmidt and
Costantino Thanos},
title = {How to Look at Deductive Databases},
booktitle = {Foundations of Knowledge Base Management: Contributions from Logic,
Databases, and Artificial Intelligence, Book resulting from the Xania
Workshop 1985},
series = {Topics in Information Systems},
pages = {119--130},
publisher = {Springer},
year = {1985},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/db-workshops/GallaireN85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Gallaire85,
author = {Herv{\'{e}} Gallaire},
editor = {Herbert Stoyan},
title = {Logic Programming Development (Abstract)},
booktitle = {GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 23-27, 1985, Proceedings},
series = {Informatik-Fachberichte},
volume = {118},
pages = {134},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/978-3-642-71145-9\_10},
doi = {10.1007/978-3-642-71145-9\_10},
timestamp = {Wed, 11 Jul 2018 09:54:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Gallaire85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Gallaire85,
author = {Herv{\'{e}} Gallaire},
title = {Logic Programming: Further Developments},
booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts,
USA, July 15-18, 1985},
pages = {88--96},
publisher = {{IEEE-CS}},
year = {1985},
timestamp = {Wed, 04 Dec 2013 14:42:59 +0100},
biburl = {https://dblp.org/rec/conf/slp/Gallaire85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/GallaireMN84,
author = {Herv{\'{e}} Gallaire and
Jack Minker and
Jean{-}Marie Nicolas},
title = {Logic and Databases: {A} Deductive Approach},
journal = {{ACM} Comput. Surv.},
volume = {16},
number = {2},
pages = {153--185},
year = {1984},
url = {https://doi.org/10.1145/356924.356929},
doi = {10.1145/356924.356929},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/GallaireMN84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adbt/82,
editor = {Herv{\'{e}} Gallaire and
Jean{-}Marie Nicolas and
Jack Minker},
title = {Advances in Data Base Theory, Vol. 2, Based on the Proceedings of
the Workshop on Logical Data Bases, December 14-17, 1982, Centre d'{\'{e}}tudes
et de recherches de Toulouse, France},
series = {Advances in Data Base Theory},
publisher = {Plemum Press},
address = {New York},
year = {1984},
isbn = {0-306-41636-0},
timestamp = {Thu, 29 Mar 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbt/82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Gallaire83,
author = {Herv{\'{e}} Gallaire},
editor = {Lu{\'{\i}}s Moniz Pereira and
Ant{\'{o}}nio Porto and
Lu{\'{\i}}s Monteiro and
Miguel Figueiras},
title = {Logical Data Bases vs Deductive Data Bases},
booktitle = {Logic Programming Workshop '83, Praia da Fal{\'{e}}sia, Algarve,
Portugal, 26 June - 1 July, 1983, Proceedings},
pages = {608--622},
publisher = {N{\'{u}}cleo de Intellig{\^{e}}ncia Artificial, Universidade
Nova De Lisboa, Portugal},
year = {1983},
url = {http://www.softwarepreservation.org/projects/prolog/lisbon/lpw83/p608-Gallaire.pdf},
timestamp = {Thu, 12 Mar 2020 11:37:20 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Gallaire83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KowalskiGYD83,
author = {Robert A. Kowalski and
Herv{\'{e}} Gallaire and
Toshio Yokoi and
Robert B. K. Dewar},
editor = {Alan Bundy},
title = {Panel on the Fifth Generation Project},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1192--1194},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 20 Aug 2019 16:18:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KowalskiGYD83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ReiterGKMW83,
author = {Raymond Reiter and
Herv{\'{e}} Gallaire and
Jonathan J. King and
John Mylopoulos and
Bonnie L. Webber},
editor = {Alan Bundy},
title = {A Panel on {AI} and Databases},
booktitle = {Proceedings of the 8th International Joint Conference on Artificial
Intelligence. Karlsruhe, FRG, August 1983},
pages = {1199},
publisher = {William Kaufmann},
year = {1983},
timestamp = {Tue, 15 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ReiterGKMW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Gallaire83,
author = {Herv{\'{e}} Gallaire},
editor = {Mehmet Dincbas},
title = {{PROLOG} et Bases de Donn{\'{e}}es},
booktitle = {SPLT'83, S{\'{e}}minaire Programmation en Logique, 22-23 mars
1983, Perros-Guirec, France},
year = {1983},
timestamp = {Mon, 06 Sep 2004 15:14:20 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Gallaire83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Gallaire82,
author = {Herv{\'{e}} Gallaire},
title = {Artificial Intelligence and Industry},
booktitle = {5th European Conference on Artificial Intelligence, {ECAI} 1982, Paris,
1982, Proceedings},
pages = {37--42},
year = {1982},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Gallaire82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/GallaireGP82,
author = {Herv{\'{e}} Gallaire and
Alain Grumbach and
E. Papon},
editor = {Mehmet Dincbas and
Didier Feuerstein},
title = {Pr{\'{e}}sentation de Loglisp et QLog: aspects contr{\^{o}}le
de r{\'{e}}solution et {\'{e}}valuation des expressions},
booktitle = {SPLT'82, S{\'{e}}minaire Programmation en Logique, 4-5 f{\'{e}}vrier
1982, Perros-Guirec, France},
year = {1982},
timestamp = {Mon, 06 Sep 2004 15:11:59 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/GallaireGP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/Gallaire81,
author = {Herv{\'{e}} Gallaire},
title = {Impacts of Logic and Databases (Invited Paper)},
booktitle = {Very Large Data Bases, 7th International Conference, September 9-11,
1981, Cannes, France, Proceedings},
pages = {248--259},
publisher = {{IEEE} Computer Society},
year = {1981},
timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
biburl = {https://dblp.org/rec/conf/vldb/Gallaire81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adbt/79,
editor = {Herv{\'{e}} Gallaire and
Jean{-}Marie Nicolas and
Jack Minker},
title = {Advances in Data Base Theory, Vol. 1, Based on the Proceedings of
the Workshop on Formal Bases for Data Bases, December 12-14, 1979,
Centre d'Etudes et de Recherches de l'Ecole Nationale Sup{\'{e}}rieure
de l'A{\'{e}}ronautique et de l'Espace de Toulouse (CERT), France},
series = {Advances in Data Base Theory},
publisher = {Plemum Press},
address = {New York},
year = {1981},
isbn = {0-306-40629-2},
timestamp = {Thu, 29 Mar 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbt/79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbt/GallaireMN79,
author = {Herv{\'{e}} Gallaire and
Jack Minker and
Jean{-}Marie Nicolas},
editor = {Herv{\'{e}} Gallaire and
Jean{-}Marie Nicolas and
Jack Minker},
title = {Background for Advances in Data Base Theory},
booktitle = {Advances in Data Base Theory, Vol. 1, Based on the Proceedings of
the Workshop on Formal Bases for Data Bases, December 12-14, 1979,
Centre d'Etudes et de Recherches de l'Ecole Nationale Sup{\'{e}}rieure
de l'A{\'{e}}ronautique et de l'Espace de Toulouse (CERT), France},
series = {Advances in Data Base Theory},
pages = {3--21},
publisher = {Plemum Press},
address = {New York},
year = {1979},
timestamp = {Thu, 29 Mar 2018 16:54:19 +0200},
biburl = {https://dblp.org/rec/conf/adbt/GallaireMN79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GallaireL79,
author = {Herv{\'{e}} Gallaire and
Claudine Lasserre},
editor = {Bruce G. Buchanan},
title = {Controlling Knowledge Deduction in a Declarative Approach},
booktitle = {Proceedings of the Sixth International Joint Conference on Artificial
Intelligence, {IJCAI} 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes},
pages = {300},
publisher = {William Kaufmann},
year = {1979},
timestamp = {Tue, 20 Aug 2019 16:16:26 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GallaireL79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adbt/77,
editor = {Herv{\'{e}} Gallaire and
Jack Minker},
title = {Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'{\'{e}}tudes
et de recherches de Toulouse, France, 1977},
series = {Advances in Data Base Theory},
publisher = {Plemum Press},
address = {New York},
year = {1978},
url = {https://doi.org/10.1007/978-1-4684-3384-5},
doi = {10.1007/978-1-4684-3384-5},
isbn = {0-306-40060-X},
timestamp = {Thu, 25 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbt/77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbt/GallaireMN77,
author = {Herv{\'{e}} Gallaire and
Jack Minker and
Jean{-}Marie Nicolas},
editor = {Herv{\'{e}} Gallaire and
Jack Minker},
title = {An Overview and Introduction to Logic and Data Bases},
booktitle = {Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'{\'{e}}tudes
et de recherches de Toulouse, France, 1977},
series = {Advances in Data Base Theory},
pages = {3--30},
publisher = {Plemum Press},
address = {New York},
year = {1977},
url = {https://doi.org/10.1007/978-1-4684-3384-5\_1},
doi = {10.1007/978-1-4684-3384-5\_1},
timestamp = {Thu, 25 Jul 2019 12:26:02 +0200},
biburl = {https://dblp.org/rec/conf/adbt/GallaireMN77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbt/NicolasM77,
author = {Jean{-}Marie Nicolas and
Herv{\'{e}} Gallaire},
editor = {Herv{\'{e}} Gallaire and
Jack Minker},
title = {Data Base: Theory vs. Interpretation},
booktitle = {Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'{\'{e}}tudes
et de recherches de Toulouse, France, 1977},
series = {Advances in Data Base Theory},
pages = {33--54},
publisher = {Plemum Press},
address = {New York},
year = {1977},
url = {https://doi.org/10.1007/978-1-4684-3384-5\_2},
doi = {10.1007/978-1-4684-3384-5\_2},
timestamp = {Thu, 25 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adbt/NicolasM77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Gallaire70,
author = {Herv{\'{e}} Gallaire},
title = {Decomposition of Linear Sequential Machines. {II}},
journal = {Math. Syst. Theory},
volume = {4},
number = {2},
pages = {168--190},
year = {1970},
url = {https://doi.org/10.1007/BF01691102},
doi = {10.1007/BF01691102},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Gallaire70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Gallaire69,
author = {Herv{\'{e}} Gallaire},
title = {Recognition Time of Context-Free Languages by On-Line Turing Machines},
journal = {Inf. Control.},
volume = {15},
number = {3},
pages = {288--295},
year = {1969},
url = {https://doi.org/10.1016/S0019-9958(69)90463-X},
doi = {10.1016/S0019-9958(69)90463-X},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Gallaire69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/GallaireH69,
author = {Herv{\'{e}} Gallaire and
Michael A. Harrison},
title = {Decomposition of Linear Sequential Machines},
journal = {Math. Syst. Theory},
volume = {3},
number = {3},
pages = {246--287},
year = {1969},
url = {https://doi.org/10.1007/BF01703924},
doi = {10.1007/BF01703924},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/GallaireH69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GallaireGHH68,
author = {Herv{\'{e}} Gallaire and
Jim Gray and
Michael A. Harrison and
Gabor T. Herman},
title = {Infinite Linear Sequential Machines},
journal = {J. Comput. Syst. Sci.},
volume = {2},
number = {4},
pages = {381--419},
year = {1968},
url = {https://doi.org/10.1016/S0022-0000(68)80035-2},
doi = {10.1016/S0022-0000(68)80035-2},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GallaireGHH68.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.
last updated on 2024-04-24 22:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
