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/iandc/iandc124.bht:"
download as .bib file
@article{DBLP:journals/iandc/AndersonY96,
author = {James H. Anderson and
Jae{-}Heon Yang},
title = {Time/Contention Trade-Offs for Multiprocessor Synchronization},
journal = {Inf. Comput.},
volume = {124},
number = {1},
pages = {68--84},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0006},
doi = {10.1006/INCO.1996.0006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AndersonY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Ben-EliyahuM96,
author = {Rachel Ben{-}Eliyahu and
Menachem Magidor},
title = {A Temporal Logic for Proving Properties of Topologically General Executions},
journal = {Inf. Comput.},
volume = {124},
number = {2},
pages = {127--144},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0010},
doi = {10.1006/INCO.1996.0010},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Ben-EliyahuM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CeceFI96,
author = {G{\'{e}}rard C{\'{e}}c{\'{e}} and
Alain Finkel and
S. Purushothaman Iyer},
title = {Unreliable Channels are Easier to Verify Than Perfect Channels},
journal = {Inf. Comput.},
volume = {124},
number = {1},
pages = {20--31},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0003},
doi = {10.1006/INCO.1996.0003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CeceFI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Edalat96,
author = {Abbas Edalat},
title = {Power Domains and Iterated Function Systems},
journal = {Inf. Comput.},
volume = {124},
number = {2},
pages = {182--197},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0014},
doi = {10.1006/INCO.1996.0014},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Edalat96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FortnowR96,
author = {Lance Fortnow and
Nick Reingold},
title = {{PP} is Closed Under Truth-Table Reductions},
journal = {Inf. Comput.},
volume = {124},
number = {1},
pages = {1--6},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0001},
doi = {10.1006/INCO.1996.0001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FortnowR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FraserIM96,
author = {Campbell Fraser and
Robert W. Irving and
Martin Middendorf},
title = {Maximal Common Subsequences and Minimal Common Supersequences},
journal = {Inf. Comput.},
volume = {124},
number = {2},
pages = {145--153},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0011},
doi = {10.1006/INCO.1996.0011},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FraserIM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Gruchalski96,
author = {Andreas Gruchalski},
title = {Computability on dI-Domains},
journal = {Inf. Comput.},
volume = {124},
number = {1},
pages = {7--19},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0002},
doi = {10.1006/INCO.1996.0002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Gruchalski96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Haack96,
author = {Christian Haack},
title = {A Decomposition Theorem for Domains},
journal = {Inf. Comput.},
volume = {124},
number = {1},
pages = {62--67},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0005},
doi = {10.1006/INCO.1996.0005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Haack96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Ho96,
author = {Chun{-}Kuen Ho},
title = {Beyond Recursive Real Functions},
journal = {Inf. Comput.},
volume = {124},
number = {2},
pages = {113--126},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0009},
doi = {10.1006/INCO.1996.0009},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Ho96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Howe96,
author = {Douglas J. Howe},
title = {Proving Congruence of Bisimulation in Functional Programming Languages},
journal = {Inf. Comput.},
volume = {124},
number = {2},
pages = {103--112},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0008},
doi = {10.1006/INCO.1996.0008},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Howe96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KesnerPT96,
author = {Delia Kesner and
Laurence Puel and
Val Tannen},
title = {A Typed Pattern Calculus},
journal = {Inf. Comput.},
volume = {124},
number = {1},
pages = {32--61},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0004},
doi = {10.1006/INCO.1996.0004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KesnerPT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KosiuczenkoM96,
author = {Piotr Kosiuczenko and
Karl Meinke},
title = {On the Power of Higher-Order Algebraic Specification Methods},
journal = {Inf. Comput.},
volume = {124},
number = {1},
pages = {85--101},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0007},
doi = {10.1006/INCO.1996.0007},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KosiuczenkoM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Rabinovich96,
author = {Alexander Moshe Rabinovich},
title = {On Schematological Equivalence of Dataflow Networks},
journal = {Inf. Comput.},
volume = {124},
number = {2},
pages = {154--167},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0012},
doi = {10.1006/INCO.1996.0012},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Rabinovich96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Yen96,
author = {Hsu{-}Chun Yen},
title = {On the Regularity of Petri Net Languages},
journal = {Inf. Comput.},
volume = {124},
number = {2},
pages = {168--181},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0013},
doi = {10.1006/INCO.1996.0013},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Yen96.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-23 21:54 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:
