default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/iandc/iandc61.bht:"
download as .bib file
@article{DBLP:journals/iandc/BeeriV84,
author = {Catriel Beeri and
Moshe Y. Vardi},
title = {On Acyclic Database Decompositions},
journal = {Inf. Control.},
volume = {61},
number = {2},
pages = {75--84},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80051-0},
doi = {10.1016/S0019-9958(84)80051-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BeeriV84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Broy84,
author = {Manfred Broy},
title = {Semantics of Communicating Processes},
journal = {Inf. Control.},
volume = {61},
number = {3},
pages = {202--246},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80048-0},
doi = {10.1016/S0019-9958(84)80048-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Broy84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CoffmanG84,
author = {Edward G. Coffman Jr. and
Edgar N. Gilbert},
title = {Dynamic, First-Fit Packings in Two or More Dimensions},
journal = {Inf. Control.},
volume = {61},
number = {1},
pages = {1--14},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80059-5},
doi = {10.1016/S0019-9958(84)80059-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CoffmanG84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Doberkat84,
author = {Ernst{-}Erich Doberkat},
title = {An Average Case Analysis of Floyd's Algorithm to Construct Heaps},
journal = {Inf. Control.},
volume = {61},
number = {2},
pages = {114--131},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80053-4},
doi = {10.1016/S0019-9958(84)80053-4},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Doberkat84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/EmersonS84,
author = {E. Allen Emerson and
A. Prasad Sistla},
title = {Deciding Full Branching Time Logic},
journal = {Inf. Control.},
volume = {61},
number = {3},
pages = {175--201},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80047-9},
doi = {10.1016/S0019-9958(84)80047-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/EmersonS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/EvenSY84,
author = {Shimon Even and
Alan L. Selman and
Yacov Yacobi},
title = {The Complexity of Promise Problems with Applications to Public-Key
Cryptography},
journal = {Inf. Control.},
volume = {61},
number = {2},
pages = {159--173},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80056-X},
doi = {10.1016/S0019-9958(84)80056-X},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/EvenSY84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FengT84,
author = {Gui Liang Feng and
Kenneth K. Tzeng},
title = {On Quasi-Perfect Property of Double-Error-Correcting Goppa Codes and
Their Complete Decoding},
journal = {Inf. Control.},
volume = {61},
number = {2},
pages = {132--146},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80054-6},
doi = {10.1016/S0019-9958(84)80054-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FengT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GurevichL84,
author = {Yuri Gurevich and
Harry R. Lewis},
title = {A Logic for Constant-Depth Circuits},
journal = {Inf. Control.},
volume = {61},
number = {1},
pages = {65--74},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80062-5},
doi = {10.1016/S0019-9958(84)80062-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GurevichL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Levin84,
author = {Leonid A. Levin},
title = {Randomness Conservation Inequalities; Information and Independence
in Mathematical Theories},
journal = {Inf. Control.},
volume = {61},
number = {1},
pages = {15--37},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80060-1},
doi = {10.1016/S0019-9958(84)80060-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Levin84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MohanFS84,
author = {C. Mohan and
Donald S. Fussell and
Abraham Silberschatz},
title = {Compatibility and Commutativity of Lock Modes},
journal = {Inf. Control.},
volume = {61},
number = {1},
pages = {38--64},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80061-3},
doi = {10.1016/S0019-9958(84)80061-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MohanFS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Niwinski84,
author = {Damian Niwinski},
title = {Fixed-Point Characterization of Context-Free {\textbackslash}infty-Languages},
journal = {Inf. Control.},
volume = {61},
number = {3},
pages = {247--276},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80049-2},
doi = {10.1016/S0019-9958(84)80049-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Niwinski84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Schmitt84,
author = {Peter H. Schmitt},
title = {Diamond Formulas: {A} Fragment of Dynamic Logic with Recursively Enumerable
Validity Problem},
journal = {Inf. Control.},
volume = {61},
number = {2},
pages = {147--158},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80055-8},
doi = {10.1016/S0019-9958(84)80055-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Schmitt84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ThiagarajanV84,
author = {P. S. Thiagarajan and
K. Vos},
title = {A Fresh Look at Free Choice Nets},
journal = {Inf. Control.},
volume = {61},
number = {2},
pages = {85--113},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80052-2},
doi = {10.1016/S0019-9958(84)80052-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ThiagarajanV84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/YamasakiD84,
author = {Susumu Yamasaki and
Shuji Doshita},
title = {Erratum: The Satisfiability Problem for a Class Consisting of Horn
Sentences and Non-Horn Sentences in Proportional Logic},
journal = {Inf. Control.},
volume = {61},
number = {2},
pages = {174},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80057-1},
doi = {10.1016/S0019-9958(84)80057-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/YamasakiD84.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.
retrieved on 2025-02-25 22:05 CET 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:
