Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/ipl/ipl53.bht:"
download as .bib file
@article{DBLP:journals/ipl/AggarwalJG95,
author = {Charu C. Aggarwal and
N. Jain and
P. Gupta},
title = {An Efficient Selection Algorithm on the Pyramid},
journal = {Inf. Process. Lett.},
volume = {53},
number = {1},
pages = {37--47},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00160-Z},
doi = {10.1016/0020-0190(94)00160-Z},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AggarwalJG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AngT95,
author = {Chuan{-}Heng Ang and
Kok{-}Phuang Tan},
title = {The Interval B-Tree},
journal = {Inf. Process. Lett.},
volume = {53},
number = {2},
pages = {85--89},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00176-Y},
doi = {10.1016/0020-0190(94)00176-Y},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/AngT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BackW95,
author = {Ralph{-}Johan Back and
Joakim von Wright},
title = {Games and Winning Strategies},
journal = {Inf. Process. Lett.},
volume = {53},
number = {3},
pages = {165--172},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00206-E},
doi = {10.1016/0020-0190(94)00206-E},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BackW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BarbosaP95,
author = {Valmir Carneiro Barbosa and
Stella C. S. Porto},
title = {An Algorithm for {FIFO} Message Delivery Among Migrating Tasks},
journal = {Inf. Process. Lett.},
volume = {53},
number = {5},
pages = {261--267},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00199-9},
doi = {10.1016/0020-0190(94)00199-9},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BarbosaP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BolandU95,
author = {Ralph P. Boland and
Jorge Urrutia},
title = {Separating Collections of Points in Euclidean Spaces},
journal = {Inf. Process. Lett.},
volume = {53},
number = {4},
pages = {177--183},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00186-3},
doi = {10.1016/0020-0190(94)00186-3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BolandU95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/CanettiEG95,
author = {Ran Canetti and
Guy Even and
Oded Goldreich},
title = {Lower Bounds for Sampling Algorithms for Estimating the Average},
journal = {Inf. Process. Lett.},
volume = {53},
number = {1},
pages = {17--25},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00171-T},
doi = {10.1016/0020-0190(94)00171-T},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/CanettiEG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ChangH95,
author = {Yung{-}Cheng Chang and
Lih{-}Hsing Hsu},
title = {Element Perturbation Problems of Optimum Spanning Trees with Two-Parameter
Objectives},
journal = {Inf. Process. Lett.},
volume = {53},
number = {1},
pages = {55--59},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00173-V},
doi = {10.1016/0020-0190(94)00173-V},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ChangH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ClementiI95,
author = {Andrea Clementi and
Russell Impagliazzo},
title = {The Reachability Problem for Finite Cellular Automata},
journal = {Inf. Process. Lett.},
volume = {53},
number = {1},
pages = {27--31},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00169-Y},
doi = {10.1016/0020-0190(94)00169-Y},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ClementiI95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Club95,
author = {The Eindhoven Tuesday Afternoon Club},
title = {Constructing the Galois Adjoint},
journal = {Inf. Process. Lett.},
volume = {53},
number = {3},
pages = {137--139},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00194-4},
doi = {10.1016/0020-0190(94)00194-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Club95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DavisB95,
author = {Robert I. Davis and
Alan Burns},
title = {Optimal Priority Assignment for Aperiodic Tasks with Firm Deadlines
in Fixed Priority Pre-Emptive Systems},
journal = {Inf. Process. Lett.},
volume = {53},
number = {5},
pages = {249--254},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00200-I},
doi = {10.1016/0020-0190(94)00200-I},
timestamp = {Tue, 30 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DavisB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Dijkstra95,
author = {Edsger W. Dijkstra},
title = {Heuristics for a Calculational Proof},
journal = {Inf. Process. Lett.},
volume = {53},
number = {3},
pages = {141--143},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00196-6},
doi = {10.1016/0020-0190(94)00196-6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Dijkstra95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Dijkstra95a,
author = {Rutger M. Dijkstra},
title = {An Experiment With the Use of Predicate Transformers in {UNITY}},
journal = {Inf. Process. Lett.},
volume = {53},
number = {6},
pages = {329--332},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00215-K},
doi = {10.1016/0020-0190(94)00215-K},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Dijkstra95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/El-YanivK95,
author = {Ran El{-}Yaniv and
Jon M. Kleinberg},
title = {Geometric Two-Server Algorithms},
journal = {Inf. Process. Lett.},
volume = {53},
number = {6},
pages = {355--358},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00223-L},
doi = {10.1016/0020-0190(94)00223-L},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/El-YanivK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Fischer95,
author = {Sophie Fischer},
title = {A Note on the Complexity of Local Search Problems},
journal = {Inf. Process. Lett.},
volume = {53},
number = {2},
pages = {69--75},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00184-Z},
doi = {10.1016/0020-0190(94)00184-Z},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/Fischer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FranzleSW95,
author = {Martin Fr{\"{a}}nzle and
Bernhard von Stengel and
Arne Wittm{\"{u}}ss},
title = {A Generalized Notion of Semantic Independence},
journal = {Inf. Process. Lett.},
volume = {53},
number = {1},
pages = {5--9},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00168-X},
doi = {10.1016/0020-0190(94)00168-X},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/FranzleSW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Goldmann95,
author = {Mikael Goldmann},
title = {A Note on the Power of Majority Gates and Modular Gates},
journal = {Inf. Process. Lett.},
volume = {53},
number = {6},
pages = {321--327},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00221-J},
doi = {10.1016/0020-0190(94)00221-J},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Goldmann95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/GriesS95,
author = {David Gries and
Fred B. Schneider},
title = {Equational Propositional Logic},
journal = {Inf. Process. Lett.},
volume = {53},
number = {3},
pages = {145--152},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00198-8},
doi = {10.1016/0020-0190(94)00198-8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/GriesS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Group95,
author = {Chritiene Aarts and
Roland Carl Backhouse and
Eerke A. Boiten and
Henk Doornbos and
Netty van Gasteren and
Rik van Geldrop and
Paul F. Hoogendijk and
Ed Voermans and
Jaap van der Woude},
title = {Fixed-Point Calculus},
journal = {Inf. Process. Lett.},
volume = {53},
number = {3},
pages = {131--136},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00195-5},
doi = {10.1016/0020-0190(94)00195-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Group95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Gupta95,
author = {Rajiv Gupta},
title = {Generalized Dominators},
journal = {Inf. Process. Lett.},
volume = {53},
number = {4},
pages = {193--200},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00192-2},
doi = {10.1016/0020-0190(94)00192-2},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Gupta95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Hamdi95,
author = {Mounir Hamdi},
title = {Topological Properties of the Directional Hypercube},
journal = {Inf. Process. Lett.},
volume = {53},
number = {5},
pages = {277--286},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00207-F},
doi = {10.1016/0020-0190(94)00207-F},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Hamdi95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HassinT95,
author = {Refael Hassin and
Arie Tamir},
title = {On the Minimum Diameter Spanning Tree Problem},
journal = {Inf. Process. Lett.},
volume = {53},
number = {2},
pages = {109--111},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00183-Y},
doi = {10.1016/0020-0190(94)00183-Y},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/HassinT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HeydemannS95,
author = {Marie{-}Claude Heydemann and
Dominique Sotteau},
title = {A Note on Recursive Properties of the de Bruijn, Kautz and {FFT} Digraphs},
journal = {Inf. Process. Lett.},
volume = {53},
number = {5},
pages = {255--259},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00210-P},
doi = {10.1016/0020-0190(94)00210-P},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/HeydemannS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HwangC95,
author = {Tzonelih Hwang and
Yung{-}Hsiang Chen},
title = {On the Security of {SPLICE/AS} - The Authentication System in {WIDE}
Internet},
journal = {Inf. Process. Lett.},
volume = {53},
number = {2},
pages = {91--101},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00178-2},
doi = {10.1016/0020-0190(94)00178-2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/HwangC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HwangLLKC95,
author = {Tzonelih Hwang and
Narn{-}Yih Lee and
Chuan{-}Ming Li and
Ming{-}Yung Ko and
Yung{-}Hsiang Chen},
title = {Two Attacks on Neuman-Stubblebine Authentication Protocols},
journal = {Inf. Process. Lett.},
volume = {53},
number = {2},
pages = {103--107},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(95)00177-E},
doi = {10.1016/0020-0190(95)00177-E},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/HwangLLKC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Jain95,
author = {Sanjay Jain},
title = {On a Question About Learning Nearly Minimal Programs},
journal = {Inf. Process. Lett.},
volume = {53},
number = {1},
pages = {1--4},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00172-U},
doi = {10.1016/0020-0190(94)00172-U},
timestamp = {Thu, 05 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/Jain95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KargerH95,
author = {Burghard von Karger and
C. A. R. Hoare},
title = {Sequential Calculus},
journal = {Inf. Process. Lett.},
volume = {53},
number = {3},
pages = {123--130},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00205-D},
doi = {10.1016/0020-0190(94)00205-D},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/KargerH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KimPCSC95,
author = {Sung{-}Ho Kim and
Jung{-}Heum Park and
Seung{-}Hak Choi and
Sung Yong Shin and
Kyung{-}Yong Chwa},
title = {An Optimal Algorithm for Finding the Edge Visibility Polygon under
Limited Visibility},
journal = {Inf. Process. Lett.},
volume = {53},
number = {6},
pages = {359--365},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00220-S},
doi = {10.1016/0020-0190(94)00220-S},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/KimPCSC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Kornerup95,
author = {Jacob Kornerup},
title = {Mapping a Functional Notation for Parallel Programs Onto Hypercubes},
journal = {Inf. Process. Lett.},
volume = {53},
number = {3},
pages = {153--158},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00213-I},
doi = {10.1016/0020-0190(94)00213-I},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Kornerup95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KucherovR95,
author = {Gregory Kucherov and
Micha{\"{e}}l Rusinowitch},
title = {Undecidability of Ground Reducibility for Word Rewriting Systems with
Variables},
journal = {Inf. Process. Lett.},
volume = {53},
number = {4},
pages = {209--215},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00188-5},
doi = {10.1016/0020-0190(94)00188-5},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/KucherovR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KulasingheB95,
author = {Priyalal Kulasinghe and
Sa{\"{\i}}d Bettayeb},
title = {Multiply-Twisted Hypercube with Five or More Dimensions is not Vertex-Transitive},
journal = {Inf. Process. Lett.},
volume = {53},
number = {1},
pages = {33--36},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00167-W},
doi = {10.1016/0020-0190(94)00167-W},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/KulasingheB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KurosawaOT95,
author = {Kaoru Kurosawa and
Koji Okada and
Shigeo Tsujii},
title = {Low Exponent Attack Against Elliptic Curve {RSA}},
journal = {Inf. Process. Lett.},
volume = {53},
number = {2},
pages = {77--83},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00179-3},
doi = {10.1016/0020-0190(94)00179-3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/KurosawaOT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LaihTT95,
author = {Chi{-}Sung Laih and
Fu{-}Kuan Tu and
Wen{-}Chung Tai},
title = {On the Security of the Lucas Function},
journal = {Inf. Process. Lett.},
volume = {53},
number = {5},
pages = {243--247},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00209-H},
doi = {10.1016/0020-0190(94)00209-H},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LaihTT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Leino95,
author = {K. Rustan M. Leino},
title = {Constructing a Program with Exceptions},
journal = {Inf. Process. Lett.},
volume = {53},
number = {3},
pages = {159--163},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00197-7},
doi = {10.1016/0020-0190(94)00197-7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Leino95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LikasS95,
author = {Aristidis Likas and
Andreas Stafylopatis},
title = {A Parallel Algorithm for the Minimum Weighted Vertex Cover Problem},
journal = {Inf. Process. Lett.},
volume = {53},
number = {4},
pages = {229--234},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00189-6},
doi = {10.1016/0020-0190(94)00189-6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LikasS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LimL95,
author = {Chae Hoon Lim and
Pil Joong Lee},
title = {Several Practical Protocols for Authentication and Key Exchange},
journal = {Inf. Process. Lett.},
volume = {53},
number = {2},
pages = {91--96},
year = {1995},
timestamp = {Thu, 20 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/LimL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Macarie95,
author = {Ioan I. Macarie},
title = {Decreasing the Bandwidth of a Transition Matrix},
journal = {Inf. Process. Lett.},
volume = {53},
number = {6},
pages = {315--320},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00218-N},
doi = {10.1016/0020-0190(94)00218-N},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Macarie95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Matousek95,
author = {Jir{\'{\i}} Matousek},
title = {On Enclosing k Points by a Circle},
journal = {Inf. Process. Lett.},
volume = {53},
number = {4},
pages = {217--221},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00190-A},
doi = {10.1016/0020-0190(94)00190-A},
timestamp = {Thu, 24 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/Matousek95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MayL95,
author = {John H. R. May and
A. D. Lunn},
title = {New Statistics for Demand-Based Software Testing},
journal = {Inf. Process. Lett.},
volume = {53},
number = {6},
pages = {307--314},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00217-M},
doi = {10.1016/0020-0190(94)00217-M},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/MayL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MontiR95,
author = {Angelo Monti and
Alessandro Roncato},
title = {Completeness Results Concerning Systolic Tree Automata and {EOL} Languages},
journal = {Inf. Process. Lett.},
volume = {53},
number = {1},
pages = {11--16},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00170-4},
doi = {10.1016/0020-0190(94)00170-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/MontiR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/NatuF95,
author = {Madan Natu and
Shu{-}Cherng Fang},
title = {On the Point-to-Point Connection Problem},
journal = {Inf. Process. Lett.},
volume = {53},
number = {6},
pages = {333--336},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00216-L},
doi = {10.1016/0020-0190(94)00216-L},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/NatuF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/OConnor95,
author = {Luke O'Connor},
title = {A New Lower Bound on the Expected Size of Irredundant Forms for Boolean
Functions},
journal = {Inf. Process. Lett.},
volume = {53},
number = {6},
pages = {347--353},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00211-G},
doi = {10.1016/0020-0190(94)00211-G},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/OConnor95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Ohlebusch95,
author = {Enno Ohlebusch},
title = {Termination is not Modular for Confluent Variable-Preserving Term
Rewriting Systems},
journal = {Inf. Process. Lett.},
volume = {53},
number = {4},
pages = {223--228},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00187-4},
doi = {10.1016/0020-0190(94)00187-4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Ohlebusch95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Otto95,
author = {Friedrich Otto},
title = {Solvability of Word Equations Modulo Finite Special and Confluent
String-Rewriting Systems is Undecidable in General},
journal = {Inf. Process. Lett.},
volume = {53},
number = {5},
pages = {237--242},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00208-G},
doi = {10.1016/0020-0190(94)00208-G},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Otto95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Otto95a,
author = {Martin Otto},
title = {An Note on the Number of Monadic Quantifiers in Monadic Sigma1{\_}1},
journal = {Inf. Process. Lett.},
volume = {53},
number = {6},
pages = {337--339},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00219-O},
doi = {10.1016/0020-0190(94)00219-O},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Otto95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/PriscoP95,
author = {Roberto De Prisco and
Giuseppe Persiano},
title = {Characteristic Inequalities for Binary Trees},
journal = {Inf. Process. Lett.},
volume = {53},
number = {4},
pages = {201--207},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00193-3},
doi = {10.1016/0020-0190(94)00193-3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/PriscoP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Rittri95,
author = {Mikael Rittri},
title = {Corrigendum: Semi-Unification of Two Terms in Abelian Groups},
journal = {Inf. Process. Lett.},
volume = {53},
number = {4},
pages = {235},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(95)92011-2},
doi = {10.1016/0020-0190(95)92011-2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Rittri95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/RussellS95,
author = {Alexander Russell and
Ravi Sundaram},
title = {The Relativized Relationship Between Probabilistically Chackable Debate
Systems, {IP} and {PSPACE}},
journal = {Inf. Process. Lett.},
volume = {53},
number = {2},
pages = {61--68},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00185-2},
doi = {10.1016/0020-0190(94)00185-2},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/RussellS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/SpiliopoulouCH95,
author = {Myra Spiliopoulou and
Yannis Cotronis and
Michael Hatzopoulos},
title = {Query Processing for Multimedia Applications on Optical Media},
journal = {Inf. Process. Lett.},
volume = {53},
number = {6},
pages = {301--306},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(95)94067-3},
doi = {10.1016/0020-0190(95)94067-3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/SpiliopoulouCH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/SteigerS95,
author = {William L. Steiger and
Ileana Streinu},
title = {A Pseudo-Algorithmic Separation of Lines from Pseudo-Lines},
journal = {Inf. Process. Lett.},
volume = {53},
number = {5},
pages = {295--299},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00201-9},
doi = {10.1016/0020-0190(94)00201-9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/SteigerS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Subramanian95,
author = {Ashok Subramanian},
title = {A Polynomial Bound on the Number of Light Cycles in an Undirected
Graph},
journal = {Inf. Process. Lett.},
volume = {53},
number = {4},
pages = {173--176},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00202-A},
doi = {10.1016/0020-0190(94)00202-A},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Subramanian95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/TokudaW95,
author = {Takehiro Tokuda and
Yoshimichi Watanabe},
title = {An Efficient Semantic Evaluator for Warped {LC(1)} Attributed Grammars},
journal = {Inf. Process. Lett.},
volume = {53},
number = {5},
pages = {269--276},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00204-C},
doi = {10.1016/0020-0190(94)00204-C},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/TokudaW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/TuS95,
author = {Hsieh{-}Chang Tu and
Carl H. Smith},
title = {Training Digraphs},
journal = {Inf. Process. Lett.},
volume = {53},
number = {4},
pages = {185--192},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00191-Z},
doi = {10.1016/0020-0190(94)00191-Z},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/TuS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Valmari95,
author = {Antti Valmari},
title = {The Weakest Deadlock-Preserving Congruence},
journal = {Inf. Process. Lett.},
volume = {53},
number = {6},
pages = {341--346},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00214-J},
doi = {10.1016/0020-0190(94)00214-J},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Valmari95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/VelosoM95,
author = {Paulo A. S. Veloso and
T. S. E. Maibaum},
title = {On the Modularization Theorem for Logical Specifications},
journal = {Inf. Process. Lett.},
volume = {53},
number = {5},
pages = {287--293},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00203-B},
doi = {10.1016/0020-0190(94)00203-B},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/VelosoM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/WolfsonJ95,
author = {Ouri Wolfson and
Sushil Jajodia},
title = {An Algorithm for Dynamic Data Allocation in Distributed Systems},
journal = {Inf. Process. Lett.},
volume = {53},
number = {2},
pages = {113--119},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00182-X},
doi = {10.1016/0020-0190(94)00182-X},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/WolfsonJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Zheng95,
author = {Yuliang Zheng},
title = {On Key Agreement Protocols Based on Tamper-Proof Hardware},
journal = {Inf. Process. Lett.},
volume = {53},
number = {1},
pages = {49--54},
year = {1995},
url = {https://doi.org/10.1016/0020-0190(94)00174-W},
doi = {10.1016/0020-0190(94)00174-W},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/Zheng95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-27 08:23 CEST from data curated 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:
