default search action
Search dblp for Publications
export results for "toc:db/journals/iandc/iandc88.bht:"
@article{DBLP:journals/iandc/DauchetHLT90, author = {Max Dauchet and Thierry Heuillard and Pierre Lescanne and Sophie Tison}, title = {Decidability of the Confluence of Finite Ground Term Rewrite Systems and of Other Related Term Rewrite Systems}, journal = {Inf. Comput.}, volume = {88}, number = {2}, pages = {187--201}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90015-A}, doi = {10.1016/0890-5401(90)90015-A}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/DauchetHLT90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/DworkM90, author = {Cynthia Dwork and Yoram Moses}, title = {Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures}, journal = {Inf. Comput.}, volume = {88}, number = {2}, pages = {156--186}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90014-9}, doi = {10.1016/0890-5401(90)90014-9}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/DworkM90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/ItaiR90, author = {Alon Itai and Michael Rodeh}, title = {Symmetry breaking in distributed networks}, journal = {Inf. Comput.}, volume = {88}, number = {1}, pages = {60--87}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90004-2}, doi = {10.1016/0890-5401(90)90004-2}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/ItaiR90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/KalyanasundaramS90, author = {Bala Kalyanasundaram and Georg Schnitger}, title = {Rounds Versus Time for the Two Person Pebble Game}, journal = {Inf. Comput.}, volume = {88}, number = {1}, pages = {1--17}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90002-Y}, doi = {10.1016/0890-5401(90)90002-Y}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/KalyanasundaramS90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/MeseguerM90, author = {Jos{\'{e}} Meseguer and Ugo Montanari}, title = {Petri Nets Are Monoids}, journal = {Inf. Comput.}, volume = {88}, number = {2}, pages = {105--155}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90013-8}, doi = {10.1016/0890-5401(90)90013-8}, timestamp = {Wed, 20 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/MeseguerM90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/PaturiSSN90, author = {Ramamohan Paturi and Joel I. Seiferas and Janos Simon and Richard E. Newman{-}Wolfe}, title = {Milking the Aanderaa Argument}, journal = {Inf. Comput.}, volume = {88}, number = {1}, pages = {88--104}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90005-3}, doi = {10.1016/0890-5401(90)90005-3}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/PaturiSSN90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/PelletierS90, author = {Maryse Pelletier and Jacques Sakarovitch}, title = {Easy Multiplications {II.} Extensions of Rational Semigroups}, journal = {Inf. Comput.}, volume = {88}, number = {1}, pages = {18--59}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90003-Z}, doi = {10.1016/0890-5401(90)90003-Z}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/PelletierS90.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.