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/iandc103.bht:"
download as .bib file
@article{DBLP:journals/iandc/AcetoH93,
author = {Luca Aceto and
Matthew Hennessy},
title = {Towards Action-Refinement in Process Algebras},
journal = {Inf. Comput.},
volume = {103},
number = {2},
pages = {204--269},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1019},
doi = {10.1006/INCO.1993.1019},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AcetoH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BeigelGGO93,
author = {Richard Beigel and
William I. Gasarch and
John Gill and
James C. Owings},
title = {Terse, Superterse, and Verbose Sets},
journal = {Inf. Comput.},
volume = {103},
number = {1},
pages = {68--85},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1014},
doi = {10.1006/INCO.1993.1014},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BeigelGGO93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FalaschiLMP93,
author = {Moreno Falaschi and
Giorgio Levi and
Maurizio Martelli and
Catuscia Palamidessi},
title = {A Model-Theoretic Reconstruction of the Operational Semantics of Logic
Programs},
journal = {Inf. Comput.},
volume = {103},
number = {1},
pages = {86--113},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1015},
doi = {10.1006/INCO.1993.1015},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/FalaschiLMP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GinsburgSW93,
author = {Seymour Ginsburg and
Dan A. Simovici and
Xiaoyang Sean Wang},
title = {Content-Related Interval Queries on Object Histories},
journal = {Inf. Comput.},
volume = {103},
number = {1},
pages = {30--67},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1013},
doi = {10.1006/INCO.1993.1013},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GinsburgSW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MeseguerG93,
author = {Jos{\'{e}} Meseguer and
Joseph A. Goguen},
title = {Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation,
and Coercion Problems},
journal = {Inf. Comput.},
volume = {103},
number = {1},
pages = {114--158},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1016},
doi = {10.1006/INCO.1993.1016},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/MeseguerG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MusikaevT93,
author = {Ilmir Kh. Musikaev and
Michael A. Taitslin},
title = {Limitations of the Program Memory and the Expressive Power of Dynamic
Logics},
journal = {Inf. Comput.},
volume = {103},
number = {2},
pages = {195--203},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1018},
doi = {10.1006/INCO.1993.1018},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MusikaevT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Peleg93,
author = {David Peleg},
title = {Distance-Dependent Distributed Directories},
journal = {Inf. Comput.},
volume = {103},
number = {2},
pages = {270--298},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1020},
doi = {10.1006/INCO.1993.1020},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Peleg93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PnueliZ93,
author = {Amir Pnueli and
Lenore D. Zuck},
title = {Probabilistic Verification},
journal = {Inf. Comput.},
volume = {103},
number = {1},
pages = {1--29},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1012},
doi = {10.1006/INCO.1993.1012},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/PnueliZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/RivestS93,
author = {Ronald L. Rivest and
Robert E. Schapire},
title = {Inference of Finite Automata Using Homing Sequences},
journal = {Inf. Comput.},
volume = {103},
number = {2},
pages = {299--347},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1021},
doi = {10.1006/INCO.1993.1021},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/RivestS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Staiger93,
author = {Ludwig Staiger},
title = {Kolgomorov Complexity and Hausdorff Dimension},
journal = {Inf. Comput.},
volume = {103},
number = {2},
pages = {159--194},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1017},
doi = {10.1006/INCO.1993.1017},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Staiger93.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-05-09 13:02 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:
