![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/iandc/iandc179.bht:"
@article{DBLP:journals/iandc/AndersenH02, author = {Henrik Reif Andersen and Henrik Hulgaard}, title = {Boolean Expression Diagrams}, journal = {Inf. Comput.}, volume = {179}, number = {2}, pages = {194--212}, year = {2002}, url = {https://doi.org/10.1006/inco.2001.2948}, doi = {10.1006/INCO.2001.2948}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/AndersenH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Brookes02, author = {Stephen D. Brookes}, title = {The Essence of Parallel Algol}, journal = {Inf. Comput.}, volume = {179}, number = {1}, pages = {118--149}, year = {2002}, url = {https://doi.org/10.1006/inco.2002.2995}, doi = {10.1006/INCO.2002.2995}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Brookes02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/CervesatoP02, author = {Iliano Cervesato and Frank Pfenning}, title = {A Linear Logical Framework}, journal = {Inf. Comput.}, volume = {179}, number = {1}, pages = {19--75}, year = {2002}, url = {https://doi.org/10.1006/inco.2001.2951}, doi = {10.1006/INCO.2001.2951}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/CervesatoP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/CharatonikP02, author = {Witold Charatonik and Andreas Podelski}, title = {Set Constraints with Intersection}, journal = {Inf. Comput.}, volume = {179}, number = {2}, pages = {213--229}, year = {2002}, url = {https://doi.org/10.1006/inco.2001.2952}, doi = {10.1006/INCO.2001.2952}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/CharatonikP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/DesharnaisEP02, author = {Jos{\'{e}}e Desharnais and Abbas Edalat and Prakash Panangaden}, title = {Bisimulation for Labelled Markov Processes}, journal = {Inf. Comput.}, volume = {179}, number = {2}, pages = {163--193}, year = {2002}, url = {https://doi.org/10.1006/inco.2001.2962}, doi = {10.1006/INCO.2001.2962}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/DesharnaisEP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/EtessamiVW02, author = {Kousha Etessami and Moshe Y. Vardi and Thomas Wilke}, title = {First-Order Logic with Two Variables and Unary Temporal Logic}, journal = {Inf. Comput.}, volume = {179}, number = {2}, pages = {279--295}, year = {2002}, url = {https://doi.org/10.1006/inco.2001.2953}, doi = {10.1006/INCO.2001.2953}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/EtessamiVW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/FioreMS02, author = {Marcelo P. Fiore and Eugenio Moggi and Davide Sangiorgi}, title = {A Fully Abstract Model for the [pi]-calculus}, journal = {Inf. Comput.}, volume = {179}, number = {1}, pages = {76--117}, year = {2002}, url = {https://doi.org/10.1006/inco.2002.2968}, doi = {10.1006/INCO.2002.2968}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/FioreMS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Grohe02, author = {Martin Grohe}, title = {Large Finite Structures with Few Lk-Types}, journal = {Inf. Comput.}, volume = {179}, number = {2}, pages = {250--278}, year = {2002}, url = {https://doi.org/10.1006/inco.2002.2954}, doi = {10.1006/INCO.2002.2954}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Grohe02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/HofmannS02, author = {Martin Hofmann and Thomas Streicher}, title = {Completeness of Continuation Models for lambda-mu-Calculus}, journal = {Inf. Comput.}, volume = {179}, number = {2}, pages = {332--355}, year = {2002}, url = {https://doi.org/10.1006/inco.2001.2947}, doi = {10.1006/INCO.2001.2947}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/HofmannS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Kozen02, author = {Dexter Kozen}, title = {On the Complexity of Reasoning in Kleene Algebra}, journal = {Inf. Comput.}, volume = {179}, number = {2}, pages = {152--162}, year = {2002}, url = {https://doi.org/10.1006/inco.2001.2960}, doi = {10.1006/INCO.2001.2960}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Kozen02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/MatzST02, author = {Oliver Matz and Nicole Schweikardt and Wolfgang Thomas}, title = {The Monadic Quantifier Alternation Hierarchy over Grids and Graphs}, journal = {Inf. Comput.}, volume = {179}, number = {2}, pages = {356--383}, year = {2002}, url = {https://doi.org/10.1006/inco.2002.2955}, doi = {10.1006/INCO.2002.2955}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/MatzST02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/RieckeS02a, author = {Jon G. Riecke and Anders Sandholm}, title = {A Relational Account of Call-by-Value Sequentiality}, journal = {Inf. Comput.}, volume = {179}, number = {2}, pages = {296--331}, year = {2002}, url = {https://doi.org/10.1006/inco.2002.2957}, doi = {10.1006/INCO.2002.2957}, timestamp = {Mon, 23 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/RieckeS02a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/ThiagarajanW02, author = {P. S. Thiagarajan and Igor Walukiewicz}, title = {An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces}, journal = {Inf. Comput.}, volume = {179}, number = {2}, pages = {230--249}, year = {2002}, url = {https://doi.org/10.1006/inco.2001.2956}, doi = {10.1006/INCO.2001.2956}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/ThiagarajanW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/TiurynU02, author = {Jerzy Tiuryn and Pawel Urzyczyn}, title = {The Subtyping Problem for Second-Order Types Is Undecidable}, journal = {Inf. Comput.}, volume = {179}, number = {1}, pages = {1--18}, year = {2002}, url = {https://doi.org/10.1006/inco.2001.2950}, doi = {10.1006/INCO.2001.2950}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/TiurynU02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Winskel02, author = {Glynn Winskel}, title = {Guest Editorial}, journal = {Inf. Comput.}, volume = {179}, number = {2}, pages = {151}, year = {2002}, url = {https://doi.org/10.1006/inco.2002.2959}, doi = {10.1006/INCO.2002.2959}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Winskel02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/X02, title = {Erratum ("Mobile Objects as Mobile Processes" by M. Merro et al, Volume 177, Number 2 [2002], pages 195-241)}, journal = {Inf. Comput.}, volume = {179}, number = {2}, pages = {384}, year = {2002}, url = {https://doi.org/10.1006/inco.2002.3197}, doi = {10.1006/INCO.2002.3197}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/X02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.