Search dblp for Publications

export results for "toc:db/journals/ngc/ngc9.bht:"

 download as .bib file

@article{DBLP:journals/ngc/AndreoliP91,
  author       = {Jean{-}Marc Andreoli and
                  Remo Pareschi},
  title        = {Linear Ojects: Logical Processes with Built-in Inheritance},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {3/4},
  pages        = {445--474},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037173},
  doi          = {10.1007/BF03037173},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/AndreoliP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/AptB91,
  author       = {Krzysztof R. Apt and
                  Marc Bezem},
  title        = {Acyclic Programs},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {3/4},
  pages        = {335--364},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037168},
  doi          = {10.1007/BF03037168},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/AptB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Bolton91,
  author       = {David Bolton},
  title        = {An Operational Semantics for Paragon: {A} Design Notation for Parallel
                  Architectures},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {2},
  pages        = {171--197},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037642},
  doi          = {10.1007/BF03037642},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/Bolton91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Brough91,
  author       = {Derek R. Brough},
  title        = {Grammar-Related Transformations of Logic Programs},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {2},
  pages        = {115--134},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037639},
  doi          = {10.1007/BF03037639},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/Brough91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Dinsmore91,
  author       = {John Dinsmore},
  title        = {Logic Based Processing of Semantically Complex Natural Language Discourse},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {1},
  pages        = {39--68},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037150},
  doi          = {10.1007/BF03037150},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/Dinsmore91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/DrabentM91,
  author       = {Wlodzimierz Drabent and
                  Maurizio Martelli},
  title        = {Strict Completion of Logic Programs},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {1},
  pages        = {69--80},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037151},
  doi          = {10.1007/BF03037151},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/DrabentM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Fages91,
  author       = {Fran{\c{c}}ois Fages},
  title        = {A New Fixpoint Semantics for General Logic Programs Compared with
                  the Well-Founded and the Stable Model Semantics},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {3/4},
  pages        = {425--444},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037172},
  doi          = {10.1007/BF03037172},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/Fages91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/GallagherB91,
  author       = {John P. Gallagher and
                  Maurice Bruynooghe},
  title        = {The Derivation of an Algorithm for Program Specialisation},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {3/4},
  pages        = {305--334},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037167},
  doi          = {10.1007/BF03037167},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ngc/GallagherB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/GaoL91,
  author       = {Q. S. Gao and
                  L. H. Li},
  title        = {The Principle of Selecten Jumping Searching and C, Co, C* Algorithms},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {1},
  pages        = {81--104},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037152},
  doi          = {10.1007/BF03037152},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/GaoL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/GelfondL91,
  author       = {Michael Gelfond and
                  Vladimir Lifschitz},
  title        = {Classical Negation in Logic Programs and Disjunctive Databases},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {3/4},
  pages        = {365--386},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037169},
  doi          = {10.1007/BF03037169},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/GelfondL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/HentenryckP91,
  author       = {Pascal Van Hentenryck and
                  Thierry Le Provost},
  title        = {Incremental Search in Constraint Logic Programming},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {3/4},
  pages        = {257--276},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037165},
  doi          = {10.1007/BF03037165},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/HentenryckP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/HermenegildoG91,
  author       = {Manuel V. Hermenegildo and
                  K. J. Greene},
  title        = {The {\&}-Prolog System: Exploiting Independent And-Parallelism},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {3/4},
  pages        = {233--256},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037164},
  doi          = {10.1007/BF03037164},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/HermenegildoG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Husheng91,
  author       = {L. Husheng},
  title        = {Preliminary Arrangements of Arguments in Lazy Evaluation},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {2},
  pages        = {135--148},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037640},
  doi          = {10.1007/BF03037640},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/Husheng91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/KorslootM91,
  author       = {Mark Korsloot and
                  Hans M. Mulder},
  title        = {Sequential Architecture Models for Prolog: {A} Performance Comparison},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {3/4},
  pages        = {201--220},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037162},
  doi          = {10.1007/BF03037162},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/KorslootM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/KowalskiS91,
  author       = {Robert A. Kowalski and
                  Fariba Sadri},
  title        = {Logic Programs with Exceptions},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {3/4},
  pages        = {387--400},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037170},
  doi          = {10.1007/BF03037170},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/KowalskiS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Matsumoto91,
  author       = {Akira Matsumoto},
  title        = {Locally Parallel Cache Design Based on {KL1} Memory Access Characteristics},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {2},
  pages        = {149--170},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037641},
  doi          = {10.1007/BF03037641},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/Matsumoto91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Nakashima91,
  author       = {Hideyuki Nakashima},
  title        = {New Models for Software Architecture Project},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {3/4},
  pages        = {475--477},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037174},
  doi          = {10.1007/BF03037174},
  timestamp    = {Tue, 04 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/Nakashima91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Poole91,
  author       = {David Poole},
  title        = {Compiling a Default Reasoning System into Prolog},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {1},
  pages        = {3--38},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037149},
  doi          = {10.1007/BF03037149},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/Poole91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Przymusinski91,
  author       = {Teodor C. Przymusinski},
  title        = {Stable Semantics for Disjunctive Programs},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {3/4},
  pages        = {401--424},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037171},
  doi          = {10.1007/BF03037171},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/Przymusinski91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/ShmueliT91,
  author       = {Oded Shmueli and
                  Shalom Tsur},
  title        = {Logical Diagnosis of {LDL} Programs},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {3/4},
  pages        = {277--304},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037166},
  doi          = {10.1007/BF03037166},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/ShmueliT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Tanaka91,
  author       = {Hidehiko Tanaka},
  title        = {Preface: The Dawn of New Information World through Knowledge Processing},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {1},
  pages        = {1--3},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037148},
  doi          = {10.1007/BF03037148},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/Tanaka91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Taylor91,
  author       = {Andrew Taylor},
  title        = {High Performance Prolog on a {RISC}},
  journal      = {New Gener. Comput.},
  volume       = {9},
  number       = {3/4},
  pages        = {221--232},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF03037163},
  doi          = {10.1007/BF03037163},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ngc/Taylor91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics