![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/jar/jar48.bht:"
@article{DBLP:journals/jar/AnantharamanLLNR12, author = {Siva Anantharaman and Hai Lin and Christopher Lynch and Paliath Narendran and Micha{\"{e}}l Rusinowitch}, title = {Unification Modulo Homomorphic Encryption}, journal = {J. Autom. Reason.}, volume = {48}, number = {2}, pages = {135--158}, year = {2012}, url = {https://doi.org/10.1007/s10817-010-9205-y}, doi = {10.1007/S10817-010-9205-Y}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/AnantharamanLLNR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BenhamouPS12, author = {Belaid Benhamou and Lionel Paris and Pierre Siegel}, title = {Dealing with Satisfiability and n-ary CSPs in a Logical Framework}, journal = {J. Autom. Reason.}, volume = {48}, number = {3}, pages = {391--417}, year = {2012}, url = {https://doi.org/10.1007/s10817-010-9204-z}, doi = {10.1007/S10817-010-9204-Z}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BenhamouPS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BorrallerasLORR12, author = {Cristina Borralleras and Salvador Lucas and Albert Oliveras and Enric Rodr{\'{\i}}guez{-}Carbonell and Albert Rubio}, title = {{SAT} Modulo Linear Arithmetic for Solving Polynomial Constraints}, journal = {J. Autom. Reason.}, volume = {48}, number = {1}, pages = {107--131}, year = {2012}, url = {https://doi.org/10.1007/s10817-010-9196-8}, doi = {10.1007/S10817-010-9196-8}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jar/BorrallerasLORR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/ChevalierR12, author = {Yannick Chevalier and Micha{\"{e}}l Rusinowitch}, title = {Decidability of Equivalence of Symbolic Derivations}, journal = {J. Autom. Reason.}, volume = {48}, number = {2}, pages = {263--292}, year = {2012}, url = {https://doi.org/10.1007/s10817-010-9199-5}, doi = {10.1007/S10817-010-9199-5}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/ChevalierR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/CiobacaDK12, author = {{\c{S}}tefan Ciob{\^{a}}c{\u{a}} and St{\'{e}}phanie Delaune and Steve Kremer}, title = {Computing Knowledge in Security Protocols Under Convergent Equational Theories}, journal = {J. Autom. Reason.}, volume = {48}, number = {2}, pages = {219--262}, year = {2012}, url = {https://doi.org/10.1007/s10817-010-9197-7}, doi = {10.1007/S10817-010-9197-7}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/CiobacaDK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Comon-LundhM12, author = {Hubert Comon{-}Lundh and Catherine Meadows}, title = {Special Issue on Security and Rewriting Foreword}, journal = {J. Autom. Reason.}, volume = {48}, number = {2}, pages = {133--134}, year = {2012}, url = {https://doi.org/10.1007/s10817-011-9242-1}, doi = {10.1007/S10817-011-9242-1}, timestamp = {Tue, 19 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Comon-LundhM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/CortierD12, author = {V{\'{e}}ronique Cortier and St{\'{e}}phanie Delaune}, title = {Decidability and Combination Results for Two Notions of Knowledge in Security Protocols}, journal = {J. Autom. Reason.}, volume = {48}, number = {4}, pages = {441--487}, year = {2012}, url = {https://doi.org/10.1007/s10817-010-9208-8}, doi = {10.1007/S10817-010-9208-8}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/CortierD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/EchenimP12, author = {Mnacho Echenim and Nicolas Peltier}, title = {An Instantiation Scheme for Satisfiability Modulo Theories}, journal = {J. Autom. Reason.}, volume = {48}, number = {3}, pages = {293--362}, year = {2012}, url = {https://doi.org/10.1007/s10817-010-9200-3}, doi = {10.1007/S10817-010-9200-3}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/EchenimP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/FeltyM12, author = {Amy P. Felty and Alberto Momigliano}, title = {Hybrid - {A} Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax}, journal = {J. Autom. Reason.}, volume = {48}, number = {1}, pages = {43--105}, year = {2012}, url = {https://doi.org/10.1007/s10817-010-9194-x}, doi = {10.1007/S10817-010-9194-X}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/FeltyM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Guttman12, author = {Joshua D. Guttman}, title = {State and Progress in Strand Spaces: Proving Fair Exchange}, journal = {J. Autom. Reason.}, volume = {48}, number = {2}, pages = {159--195}, year = {2012}, url = {https://doi.org/10.1007/s10817-010-9202-1}, doi = {10.1007/S10817-010-9202-1}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Guttman12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/JanicicNQ12, author = {Predrag Janicic and Julien Narboux and Pedro Quaresma}, title = {The Area Method - {A} Recapitulation}, journal = {J. Autom. Reason.}, volume = {48}, number = {4}, pages = {489--532}, year = {2012}, url = {https://doi.org/10.1007/s10817-010-9209-7}, doi = {10.1007/S10817-010-9209-7}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/JanicicNQ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/KremerMT12, author = {Steve Kremer and Antoine Mercier and Ralf Treinen}, title = {Reducing Equational Theories for the Decision of Static Equivalence}, journal = {J. Autom. Reason.}, volume = {48}, number = {2}, pages = {197--217}, year = {2012}, url = {https://doi.org/10.1007/s10817-010-9203-0}, doi = {10.1007/S10817-010-9203-0}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/KremerMT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Otop12, author = {Jan Otop}, title = {E-unification with Constants vs. General E-unification}, journal = {J. Autom. Reason.}, volume = {48}, number = {3}, pages = {363--390}, year = {2012}, url = {https://doi.org/10.1007/s10817-010-9201-2}, doi = {10.1007/S10817-010-9201-2}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Otop12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/VerbeekS12, author = {Freek Verbeek and Julien Schmaltz}, title = {Proof Pearl: {A} Formal Proof of Dally and Seitz' Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks}, journal = {J. Autom. Reason.}, volume = {48}, number = {4}, pages = {419--439}, year = {2012}, url = {https://doi.org/10.1007/s10817-010-9206-x}, doi = {10.1007/S10817-010-9206-X}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/VerbeekS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/ZucchelliN12, author = {Daniele Zucchelli and Enrica Nicolini}, title = {A Decidability Result for the Model Checking of Infinite-State Systems}, journal = {J. Autom. Reason.}, volume = {48}, number = {1}, pages = {1--42}, year = {2012}, url = {https://doi.org/10.1007/s10817-010-9192-z}, doi = {10.1007/S10817-010-9192-Z}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/ZucchelliN12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.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.