Search dblp for Publications

export results for "toc:db/journals/iandc/iandc68.bht:"

 download as .bib file

@article{DBLP:journals/iandc/AptD86,
  author    = {Krzysztof R. Apt and
               Carole Delporte{-}Gallet},
  title     = {Syntax Directed Analysis of Liveness Properties},
  journal   = {Information and Control},
  volume    = {68},
  number    = {1-3},
  pages     = {223--253},
  year      = {1986}
}
@article{DBLP:journals/iandc/Brandt86,
  author    = {Ulrike Brandt},
  title     = {The Position of Index Sets of Identifiable Sets in the Arithmetical
               Hierarchy},
  journal   = {Information and Control},
  volume    = {68},
  number    = {1-3},
  pages     = {185--195},
  year      = {1986}
}
@article{DBLP:journals/iandc/ChazelleCPY86,
  author    = {Bernard Chazelle and
               Richard Cole and
               Franco P. Preparata and
               Chee{-}Keng Yap},
  title     = {New Upper Bounds for Neighbor Searching},
  journal   = {Information and Control},
  volume    = {68},
  number    = {1-3},
  pages     = {105--124},
  year      = {1986}
}
@article{DBLP:journals/iandc/Flanagan86,
  author    = {Peter A. Flanagan},
  title     = {An Optimally Data Efficient Isomorphism Inference Algorithm},
  journal   = {Information and Control},
  volume    = {68},
  number    = {1-3},
  pages     = {207--222},
  year      = {1986}
}
@article{DBLP:journals/iandc/GrafS86a,
  author    = {Susanne Graf and
               Joseph Sifakis},
  title     = {A Modal Characterization of Observational Congruence on Finite Terms
               of {CCS}},
  journal   = {Information and Control},
  volume    = {68},
  number    = {1-3},
  pages     = {125--145},
  year      = {1986}
}
@article{DBLP:journals/iandc/GrafS86b,
  author    = {Susanne Graf and
               Joseph Sifakis},
  title     = {A Logic for the Description of Non-deterministic Programs and Their
               Properties},
  journal   = {Information and Control},
  volume    = {68},
  number    = {1-3},
  pages     = {254--270},
  year      = {1986}
}
@article{DBLP:journals/iandc/HoffmanMRT86,
  author    = {Kurt Hoffman and
               Kurt Mehlhorn and
               Pierre Rosenstiehl and
               Robert Endre Tarjan},
  title     = {Sorting Jordan Sequences in Linear Time Using Level-Linked Search
               Trees},
  journal   = {Information and Control},
  volume    = {68},
  number    = {1-3},
  pages     = {170--184},
  year      = {1986}
}
@article{DBLP:journals/iandc/Huynh86,
  author    = {Dung T. Huynh},
  title     = {A Superexponential Lower Bound for Gr{\"{o}}bner Bases and Church-Rosser
               Commutative Thue Systems},
  journal   = {Information and Control},
  volume    = {68},
  number    = {1-3},
  pages     = {196--206},
  year      = {1986}
}
@article{DBLP:journals/iandc/Immerman86,
  author    = {Neil Immerman},
  title     = {Relational Queries Computable in Polynomial Time},
  journal   = {Information and Control},
  volume    = {68},
  number    = {1-3},
  pages     = {86--104},
  year      = {1986}
}
@article{DBLP:journals/iandc/LynchGFG86,
  author    = {Nancy A. Lynch and
               Nancy D. Griffeth and
               Michael J. Fischer and
               Leonidas J. Guibas},
  title     = {Probabilistic Analysis of a Network Resource Allocation Algorithm},
  journal   = {Information and Control},
  volume    = {68},
  number    = {1-3},
  pages     = {47--85},
  year      = {1986}
}
@article{DBLP:journals/iandc/Poigne86,
  author    = {Axel Poign{\'{e}}},
  title     = {On Specifications, Theories, and Models with Higher Types},
  journal   = {Information and Control},
  volume    = {68},
  number    = {1-3},
  pages     = {1--46},
  year      = {1986}
}
@article{DBLP:journals/iandc/Townsend86,
  author    = {Mike Townsend},
  title     = {A Polynomial Jump Operator},
  journal   = {Information and Control},
  volume    = {68},
  number    = {1-3},
  pages     = {146--169},
  year      = {1986}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics