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/entcs/entcs117.bht:"
download as .bib file
@proceedings{DBLP:conf/wrla/2004,
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/117/suppl/C},
timestamp = {Mon, 13 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wrla/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArrighiD05,
author = {Pablo Arrighi and
Gilles Dowek},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {A Computational Definition of the Notion of Vectorial Space},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {249--261},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.013},
doi = {10.1016/J.ENTCS.2004.06.013},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArrighiD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BragaM05,
author = {Christiano Braga and
Jos{\'{e}} Meseguer},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Modular Rewriting Semantics in Practice},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {393--416},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.019},
doi = {10.1016/J.ENTCS.2004.06.019},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BragaM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CenciarelliTT05,
author = {Pietro Cenciarelli and
Ivano Talamo and
Alessandro Tiberi},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Ambient Graph Rewriting},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {335--351},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.017},
doi = {10.1016/J.ENTCS.2004.06.017},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CenciarelliTT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CervesatoS05,
author = {Iliano Cervesato and
Mark{-}Oliver Stehr},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Representing the {MSR} Cryptoprotocol Specification Language in an
Extension of Rewriting Logic with Dependent Types},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {183--207},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.023},
doi = {10.1016/J.ENTCS.2004.06.023},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CervesatoS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CiobanuL05,
author = {Gabriel Ciobanu and
Dorel Lucanu},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Communicating Concurrent Objects in HiddenCCS},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {353--373},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.018},
doi = {10.1016/J.ENTCS.2004.06.018},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CiobanuL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CirsteaFK05,
author = {Horatiu Cirstea and
Germain Faure and
Claude Kirchner},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {A rho-Calculus of Explicit Constraint Application},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {51--67},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.029},
doi = {10.1016/J.ENTCS.2004.06.029},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CirsteaFK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CirsteaMR05,
author = {Horatiu Cirstea and
Pierre{-}Etienne Moreau and
Antoine Reilles},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Rule-based Programming in Java For Protocol Verification},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {209--227},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.022},
doi = {10.1016/J.ENTCS.2004.06.022},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CirsteaMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DenkerT05,
author = {Grit Denker and
Carolyn L. Talcott},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Formal Checklists for Remote Agent Dependability},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {229--248},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.021},
doi = {10.1016/J.ENTCS.2004.06.021},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DenkerT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuranEL05,
author = {Francisco Dur{\'{a}}n and
Santiago Escobar and
Salvador Lucas},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {New Evaluation Commands for Maude Within Full Maude},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {263--284},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.014},
doi = {10.1016/J.ENTCS.2004.06.014},
timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DuranEL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JohnsenOA05,
author = {Einar Broch Johnsen and
Olaf Owe and
Eyvind W. Axelsen},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {A Run-Time Environment for Concurrent Objects With Asynchronous Method
Calls},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {375--392},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.012},
doi = {10.1016/J.ENTCS.2004.06.012},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JohnsenOA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiquoriW05,
author = {Luigi Liquori and
Benjamin Wack},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {89--111},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.027},
doi = {10.1016/J.ENTCS.2004.06.027},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiquoriW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lopez-FraguasRV05,
author = {Francisco Javier L{\'{o}}pez{-}Fraguas and
Mario Rodr{\'{\i}}guez{-}Artalejo and
Rafael del Vado V{\'{\i}}rseda},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Constraint Functional Logic Programming Revisited},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {5--50},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.030},
doi = {10.1016/J.ENTCS.2004.06.030},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lopez-FraguasRV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Marti-Oliet05,
author = {Narciso Mart{\'{\i}}{-}Oliet},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Preface},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {1--4},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.07.003},
doi = {10.1016/J.ENTCS.2004.07.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Marti-Oliet05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Marti-OlietMV05,
author = {Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Alberto Verdejo},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Towards a Strategy Language for Maude},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {417--441},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.020},
doi = {10.1016/J.ENTCS.2004.06.020},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Marti-OlietMV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MasonT05,
author = {Ian A. Mason and
Carolyn L. Talcott},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {{IOP:} The InterOperability Platform {\&} IMaude: An Interactive
Extension of Maude},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {315--333},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.016},
doi = {10.1016/J.ENTCS.2004.06.016},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MasonT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MeseguerT05,
author = {Jos{\'{e}} Meseguer and
Prasanna Thati},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Symbolic Reachability Analysis Using Narrowing and its Application
to Verification of Cryptographic Protocols},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {153--182},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.024},
doi = {10.1016/J.ENTCS.2004.06.024},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/MeseguerT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OlveczkyM05,
author = {Peter Csaba {\"{O}}lveczky and
Jos{\'{e}} Meseguer},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Real-Time Maude 2.1},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {285--314},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.015},
doi = {10.1016/J.ENTCS.2004.06.015},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/OlveczkyM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PalominoP05,
author = {Miguel Palomino and
Isabel Pita},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {Proving {VLRL} Action Properties with the Maude Model Checker},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {113--133},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.026},
doi = {10.1016/J.ENTCS.2004.06.026},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PalominoP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StumpBBHK05,
author = {Aaron Stump and
Ryan Besand and
James C. Brodman and
Jonathan Hseu and
Bill Kinnersley},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {From Rogue to MicroRogue},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {69--87},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.028},
doi = {10.1016/J.ENTCS.2004.06.028},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/StumpBBHK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Wang05,
author = {Bow{-}Yaw Wang},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {mu-Calculus Model Checking in Maude},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {135--152},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.025},
doi = {10.1016/J.ENTCS.2004.06.025},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Wang05.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-11 20:44 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:
