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/iandc179.bht:"
download as .bib file
@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}
}
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-13 07:37 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:
