default search action
Search dblp for Publications
export results for "toc:db/journals/iandc/iandc145.bht:"
@article{DBLP:journals/iandc/Corradini98, author = {Flavio Corradini}, title = {On Performance Congruences for Process Algebras}, journal = {Inf. Comput.}, volume = {145}, number = {2}, pages = {191--230}, year = {1998}, url = {https://doi.org/10.1006/inco.1998.2726}, doi = {10.1006/INCO.1998.2726}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Corradini98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/DrewesE98, author = {Frank Drewes and Joost Engelfriet}, title = {Decidability of the Finiteness of Ranges of Tree Transductions}, journal = {Inf. Comput.}, volume = {145}, number = {1}, pages = {1--50}, year = {1998}, url = {https://doi.org/10.1006/inco.1998.2715}, doi = {10.1006/INCO.1998.2715}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/DrewesE98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/GiacobazziR98, author = {Roberto Giacobazzi and Francesco Ranzato}, title = {Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements}, journal = {Inf. Comput.}, volume = {145}, number = {2}, pages = {153--190}, year = {1998}, url = {https://doi.org/10.1006/inco.1998.2724}, doi = {10.1006/INCO.1998.2724}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/GiacobazziR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/HartonasH98, author = {Chrysafis Hartonas and Matthew Hennessy}, title = {Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing}, journal = {Inf. Comput.}, volume = {145}, number = {1}, pages = {64--106}, year = {1998}, url = {https://doi.org/10.1006/inco.1998.2723}, doi = {10.1006/INCO.1998.2723}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/HartonasH98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/HermidaJ98, author = {Claudio Hermida and Bart Jacobs}, title = {Structural Induction and Coinduction in a Fibrational Setting}, journal = {Inf. Comput.}, volume = {145}, number = {2}, pages = {107--152}, year = {1998}, url = {https://doi.org/10.1006/inco.1998.2725}, doi = {10.1006/INCO.1998.2725}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/HermidaJ98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Honkala98, author = {Juha Honkala}, title = {On Number Systems with Finite Degree of Ambiguity}, journal = {Inf. Comput.}, volume = {145}, number = {1}, pages = {51--63}, year = {1998}, url = {https://doi.org/10.1006/inco.1998.2718}, doi = {10.1006/INCO.1998.2718}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Honkala98.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.