Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/jfplc/jfplc1989.bht:"
@inproceedings{DBLP:conf/jfplc/Alexandre89, author = {Francis Alexandre}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Une heuristique pour transformer des programmes logiques}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {143--158}, year = {1989}, timestamp = {Mon, 06 Sep 2004 15:30:23 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/Alexandre89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/AzemaVL89, author = {Pierre Az{\'{e}}ma and Fran{\c{c}}ois Vernadat and Jean Christophe Lloret}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Sp{\'{e}}cification Logique de Protocoles de Communication {\`{a}} l'aide de R{\'{e}}seaux Pr{\'{e}}dicat/Transition Etiquet{\'{e}}s}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {187--212}, year = {1989}, timestamp = {Wed, 17 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jfplc/AzemaVL89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/BelloneEG89, author = {Jacques Bellone and AbdelAli Ed{-}Dbali and Christian Gresse}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Generic Extensions of a Prolog Browser}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {331--344}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/BelloneEG89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/BourgetL89, author = {D. Bourget and Remi Legrand}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Une machine {\`{a}} r{\'{e}}duction d'un langage logique exploitant le parall{\'{e}}lisme d'ADA}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {441}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/BourgetL89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/BrissetR89, author = {Pascal Brisset and Olivier Ridoux}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Quelques applications du filtrage paresseux}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {479}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/BrissetR89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/CattaneoLQ89, author = {Giuseppe Cattaneo and Vincenzo Loia and Michel Quaggetto}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Les Sleepers: une technique d'impl{\'{e}}mentation de haut niveau pour contr{\^{o}}ler le processus de d{\'{e}}monstration}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {345}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/CattaneoLQ89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/ChanierF89, author = {Thierry Chanier and C. Fournier}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {{ACTES:} Acquisition de Connaissances {\`{a}} partir de Textes pour un Expert en Sp{\'{e}}cifications}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {265}, year = {1989}, timestamp = {Wed, 20 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jfplc/ChanierF89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/CherifB89, author = {N. Cherif and Serge Bourgault}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {G{\'{e}}n{\'{e}}ration de sc{\`{e}}nes anim{\'{e}}es {\`{a}} partir du texte}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {583}, year = {1989}, timestamp = {Tue, 14 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jfplc/CherifB89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/CodognetC89, author = {Christian Codognet and Philippe Codognet}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Non-deterministic Stream AND-parallelism based on Intelligent Backtracking}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {423--440}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/CodognetC89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/CullotC89, author = {Nadine Cullot and Jean{-}Jacques Chabrier}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {{STRALOG:} Syst{\`{e}}me exp{\'{e}}rimental de programmation logique multi-strat{\'{e}}gies}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {287--310}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/CullotC89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/DazyP89, author = {J. F. Dazy and J. M. Pozas}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {D{\'{e}}compilation de clauses, Traitement des predicats assert/1, retract/1, clause/2, ...: Pour une implantation compil{\'{e}}e de "tout" Prolog}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {523--540}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/DazyP89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/DelahayeM89, author = {Jean{-}Paul Delahaye and Philippe Mathieu}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Logique Partielle et Prolog}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {311}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/DelahayeM89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/DelaunayS89, author = {Christophe Delaunay and Patrick Saint{-}Dizier}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Un analyseur ascendant de langage naturel bas{\'{e}} sur la th{\'{e}}orie de gouvernement et liage}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {237--264}, year = {1989}, timestamp = {Thu, 16 May 2013 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/DelaunayS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/Deransart89, author = {Pierre Deransart}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Sur la multiplicit{\'{e}} des S{\'{e}}mantiques Op{\'{e}}rationnelles de la Programmation en Logique, leur Mod{\'{e}}lisation {\`{a}} l'aide de Grammaires Attribu{\'{e}}es et leur utilisation pour valider des Programmes Logiques}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {41}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/Deransart89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/DeransartF89, author = {Pierre Deransart and G{\'{e}}rard Ferrand}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Une vue m{\'{e}}thodologique de la Programmation en Logique avec n{\'{e}}gation}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {403}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/DeransartF89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/DeransartFT89, author = {Pierre Deransart and G{\'{e}}rard Ferrand and Michel T{\'{e}}guia}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Test d'occurence en {PROLOG} et grammaires attribu{\'{e}}es}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {113--142}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/DeransartFT89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/Ezequel89, author = {Philippe {\'{E}}z{\'{e}}quel}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Sur la d{\'{e}}composabilit{\'{e}} de programmes logiques}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {25--40}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/Ezequel89.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 = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/Gallaire89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/GandriauM89, author = {Marcel Gandriau and Christiane Massoutie}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Classes et Types: aides {\`{a}} la programmation en logique}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {57--70}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/GandriauM89.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 = {Tue, 13 Jul 2004 01:00:00 +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/Jacquenet89, author = {Fran{\c{c}}ois Jacquenet}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Le traitement des exceptions en programmation logique avec {VEGA}}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {159}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/Jacquenet89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/JaryJA89, author = {P. Jary and X. de Joybert and P. Arsac}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {S{\'{e}}lection de clauses en Prolog}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {499--522}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/JaryJA89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/Ladret89, author = {Didier Ladret}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Une approche Multi-Aspects pour la n{\'{e}}gation: yet another article sur la n{\'{e}}gation en prolog?!}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {379--402}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/Ladret89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/Legrand89, author = {Remi Legrand}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Relationnalisation des programmes logiques}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {541}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/Legrand89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/Marre89, author = {Bruno Marre}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {G{\'{e}}n{\'{e}}ration automatique de jeux de tests, une solution: Sp{\'{e}}cifications Alg{\'{e}}briques et Programmation Logique}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {213}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/Marre89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/NguyenD89, author = {Huy Nam Nguyen and L. Ducousso}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Automated synthesis of combinational logic using problem solving techniques}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {577--582}, year = {1989}, timestamp = {Wed, 08 Mar 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jfplc/NguyenD89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/PorcherB89, author = {Franck Porcher and Henri Behringer}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Syst{\`{e}}mes {\`{a}} base de Connaissance en Programmation Logique, un sch{\'{e}}ma: {CLP} (Th{\'{e}}orie Conceptuelle)}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {459--478}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/PorcherB89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/Puget89, author = {Jean{-}Francois Puget}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Evaluation partielle des {\'{e}}checs en Prolog}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {361--378}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/Puget89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/Vives89, author = {R. Vives}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Mod{\'{e}}lisation d'un syst{\`{e}}me de d{\'{e}}codage acoustico-phon{\'{e}}thique {\`{a}} l'aide de Lislog-c}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {557--576}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/Vives89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/X89, editor = {Serge Bourgault and Mehmet Dincbas}, title = {Epilogue}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {607}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/X89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/Yim89, author = {Pascal Yim}, editor = {Serge Bourgault and Mehmet Dincbas}, title = {R{\'{e}}solution dans les syst{\`{e}}mes formels abstraits: applications {\`{a}} la programmation en logique, aux syst{\`{e}}mes de r{\'{e}}{\'{e}}criture et aux grammaires formelles}, booktitle = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, pages = {7--24}, year = {1989}, timestamp = {Tue, 13 Jul 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/Yim89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/jfplc/1989, editor = {Serge Bourgault and Mehmet Dincbas}, title = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France}, year = {1989}, timestamp = {Mon, 06 Sep 2004 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/1989.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.