Search dblp for Publications

export results for "toc:db/journals/aim/aim9.bht:"

 download as .bib file

@article{DBLP:journals/aim/Abhyankar88,
  author       = {R. B. Abhyankar},
  title        = {Review of Computing with Logic: Logic Programming with Prolog},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {4},
  pages        = {83},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/958},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Abhyankar88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/AdeliB88,
  author       = {Hojjat Adeli and
                  K. V. Balasubramanian},
  title        = {A Novel Approach to Expert Systems for Design of Large Structures},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {4},
  pages        = {54--63},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/954},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/AdeliB88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/AndressK88,
  author       = {K. M. Andress and
                  Avinash C. Kak},
  title        = {Evidence Accumulation and Flow of Control in a Hierarchical Spatial
                  Reasoning System},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {2},
  pages        = {75--94},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/677},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/AndressK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Arciadiacono88,
  author       = {Thomas C. Arciadiacono},
  title        = {Review of An Artificial Intelligence Approach to Legal Reasoning},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {3},
  pages        = {90--91},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/947},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Arciadiacono88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Berliner88,
  author       = {Hans J. Berliner},
  title        = {New Hitech Computer Chess Success},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {2},
  pages        = {133},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/681},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Berliner88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Berliner88a,
  author       = {Hans J. Berliner},
  title        = {Pennsylvania State Chess Championship - Hitech Becomes First Computer
                  Senior Master},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {3},
  pages        = {85--87},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/946},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Berliner88a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Bonasso88,
  author       = {R. Peter Bonasso},
  title        = {What {AI} Can Do for Battle Management: {A} Report of the First {AAAI}
                  Workshop on {AI} Applications to Battle Management},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {3},
  pages        = {77--83},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/945},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Bonasso88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Breese88,
  author       = {Jack S. Breese},
  title        = {Review of The Principles and Applications of Decision Analysis and
                  Behavioral Research},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {1},
  pages        = {124--126},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/668},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Breese88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/ChandrasekaranGA88,
  author       = {Balakrishnan Chandrasekaran and
                  Ashok K. Goel and
                  Dean Allemang},
  title        = {Connectionism and Information Processing Abstractions},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {4},
  pages        = {24--34},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/951},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/ChandrasekaranGA88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/CohenH88,
  author       = {Paul R. Cohen and
                  Adele E. Howe},
  title        = {How Evaluation Guides {AI} Research: The Message Still Counts More
                  than the Medium},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {4},
  pages        = {35--43},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/952},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/CohenH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/DharLP88,
  author       = {Vasant Dhar and
                  Barry Lewis and
                  James Peters},
  title        = {A Knowledge-Based Model of Audit Risk},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {3},
  pages        = {56--63},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/943},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/DharLP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Doyle88,
  author       = {Jon Doyle},
  title        = {Big Problems for Artificial Intelligence - Guest Editorial},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {1},
  pages        = {19--22},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/659},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Doyle88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Firschein88,
  author       = {Oscar Firschein},
  title        = {Review of Three-Dimensional Computer Vision},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {2},
  pages        = {135},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/682},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Firschein88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Forbus88,
  author       = {Kenneth D. Forbus},
  title        = {Intelligent Computer-Aided Engineering},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {3},
  pages        = {23--36},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/940},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Forbus88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Frank88,
  author       = {Steven J. Frank},
  title        = {What {AI} Practitioners Should Know about the Law - Part One},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {1},
  pages        = {63--75},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/662},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Frank88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Frank88a,
  author       = {Steven J. Frank},
  title        = {What {AI} Pratitioners Should Know about the Law - Part Two},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {2},
  pages        = {109--114},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/679},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Frank88a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/HendlerCAABD88,
  author       = {James A. Hendler and
                  Balakrishnan Chandrasekaran and
                  Beth Adelson and
                  Richard Alterman and
                  Tom Bylander and
                  Michael Dyer},
  title        = {Theoretical Issues in Conceptual Information Processing},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {4},
  pages        = {71--76},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/956},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/HendlerCAABD88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Kahn88,
  author       = {Kenneth M. Kahn},
  title        = {Concurrent Logic Programming, Metaprogramming, and Open Systems -
                  Workshop Report},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {1},
  pages        = {115--116},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/665},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Kahn88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Kaindl88,
  author       = {Hermann Kaindl},
  title        = {Minimaxing: Theory and Practice},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {3},
  pages        = {69--76},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/944},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Kaindl88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Kak88,
  author       = {Avinash C. Kak},
  title        = {Spatial Reasoning - Guest Editorial},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {2},
  pages        = {23},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/673},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Kak88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Kramer88,
  author       = {Bryan M. Kramer},
  title        = {Review of Expert Systems: Techniques, Tools, and Applications},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {1},
  pages        = {123--124},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/667},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Kramer88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/LaffeyCSKR88,
  author       = {Thomas J. Laffey and
                  Preston A. Cox and
                  James L. Schmidt and
                  Simon M. Kao and
                  Jackson Y. Read},
  title        = {Real-Time Knowledge-Based Systems},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {1},
  pages        = {27--45},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/660},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/LaffeyCSKR88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/LesserPD88,
  author       = {Victor R. Lesser and
                  Jasmina Pavlin and
                  Edmund H. Durfee},
  title        = {Approximate Processing in Real-Time Problem Solving},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {1},
  pages        = {49--61},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/661},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/LesserPD88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Levitt88,
  author       = {Tod S. Levitt},
  title        = {Uncertainty in Artificial Intelligence - Workshop Report},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {4},
  pages        = {77--78},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/957},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Levitt88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/LevittK88,
  author       = {Tod S. Levitt and
                  Benjamin Kuipers},
  title        = {Navigation and Mapping in Large Scale Space},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {2},
  pages        = {25--43},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/674},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/LevittK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/MarcusSM88,
  author       = {Sandra Marcus and
                  Jeffrey Stout and
                  John P. McDermott},
  title        = {{VT:} An Expert Elevator Designer That Uses Knowledge-Based Backtracking},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {1},
  pages        = {95--112},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/664},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/MarcusSM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/MillerR88,
  author       = {Perry L. Miller and
                  Glenn D. Rennels},
  title        = {Prose Generation from Expert Systems: An Applied Computational Linguistics
                  Approach},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {3},
  pages        = {37--44},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/941},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/MillerR88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Moravec88,
  author       = {Hans P. Moravec},
  title        = {Sensor Fusion in Certainty Grids for Mobile Robots},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {2},
  pages        = {61--74},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/676},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Moravec88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Pollack88,
  author       = {Jordan B. Pollack},
  title        = {High-Level Connectionist Models - Workshop Report},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {4},
  pages        = {65--69},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/955},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Pollack88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Reddy88,
  author       = {Raj Reddy},
  title        = {Foundations and Grand Challenges of Artificial Intelligence: {AAAI}
                  Presidential Address},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {4},
  pages        = {9--21},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/950},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Reddy88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Retz-Schmidt88,
  author       = {Gudula Retz{-}Schmidt},
  title        = {Various Views on Spatial Prepositions},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {2},
  pages        = {95--105},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/678},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Retz-Schmidt88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Rissland88,
  author       = {Edwina L. Rissland},
  title        = {Artificial Intelligence and Legal Reasoning: {A} Discussion of the
                  Field and Gardner's Book},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {3},
  pages        = {45--55},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/942},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Rissland88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Saint-Dizier88,
  author       = {Patrick Saint{-}Dizier},
  title        = {Natural Language Understanding and Logic Programming - Workshop Report},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {1},
  pages        = {119--120},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/666},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Saint-Dizier88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/SlagleW88,
  author       = {James R. Slagle and
                  Michael R. Wick},
  title        = {A Method for Evaluating Candidate Expert System Applications},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {4},
  pages        = {44--53},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/953},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/SlagleW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Sloane88,
  author       = {Debra Sloane},
  title        = {Review of How Machines Think: {A} General Introduction to Artificial
                  Intelligence Illustrated in Prolog},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {4},
  pages        = {83--84},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/959},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Sloane88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Subrahmanian88,
  author       = {V. S. Subrahmanian},
  title        = {Review of Reasoning About Change},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {4},
  pages        = {84--85},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/960},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Subrahmanian88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/Swartout88,
  author       = {William R. Swartout},
  title        = {{DARPA} Santa Cruz Workshop on Planning},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {2},
  pages        = {115--131},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/680},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Swartout88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/WalkerKH88,
  author       = {Ellen Lowenfeld Walker and
                  Takeo Kanade and
                  Martin Herman},
  title        = {A Framework for Representing and Reasoning about Three-Dimensional
                  Objects for Vision},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {2},
  pages        = {47--58},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/675},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/WalkerKH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/WilksG88,
  author       = {Yorick Wilks and
                  Rebecca Gomez},
  title        = {New Mexico State University's Computing Research Laboratory},
  journal      = {{AI} Mag.},
  volume       = {9},
  number       = {1},
  pages        = {79--94},
  year         = {1988},
  url          = {https://ojs.aaai.org/index.php/aimagazine/article/view/663},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/WilksG88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.