More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning, Volume 48

> Home > Journals > Journal of Automated Reasoning

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 48, Number 1, January 2012

- view
  authority control:
- export record
  dblp key:
  - journals/jar/ZucchelliN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ZucchelliN12
Daniele Zucchelli, Enrica Nicolini:
A Decidability Result for the Model Checking of Infinite-State Systems. 1-42
- view
  authority control:
- export record
  dblp key:
  - journals/jar/FeltyM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FeltyM12
Amy P. Felty, Alberto Momigliano:
Hybrid - A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax. 43-105
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BorrallerasLORR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BorrallerasLORR12
Cristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
SAT Modulo Linear Arithmetic for Solving Polynomial Constraints. 107-131

Volume 48, Number 2, February 2012

Special Issue on Security and Rewriting

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jar/Comon-LundhM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Comon-LundhM12
Hubert Comon-Lundh, Catherine Meadows:
Special Issue on Security and Rewriting Foreword. 133-134
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AnantharamanLLNR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AnantharamanLLNR12
Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch:
Unification Modulo Homomorphic Encryption. 135-158
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Guttman12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Guttman12
Joshua D. Guttman:
State and Progress in Strand Spaces: Proving Fair Exchange. 159-195
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KremerMT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KremerMT12
Steve Kremer, Antoine Mercier, Ralf Treinen:
Reducing Equational Theories for the Decision of Static Equivalence. 197-217
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CiobacaDK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CiobacaDK12
Stefan Ciobaca, Stéphanie Delaune, Steve Kremer:
Computing Knowledge in Security Protocols Under Convergent Equational Theories. 219-262
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChevalierR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChevalierR12
Yannick Chevalier, Michaël Rusinowitch:
Decidability of Equivalence of Symbolic Derivations. 263-292

Volume 48, Number 3, March 2012

- view
  authority control:
- export record
  dblp key:
  - journals/jar/EchenimP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/EchenimP12
Mnacho Echenim, Nicolas Peltier:
An Instantiation Scheme for Satisfiability Modulo Theories. 293-362
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Otop12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Otop12
Jan Otop:
E-unification with Constants vs. General E-unification. 363-390
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BenhamouPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BenhamouPS12
Belaid Benhamou, Lionel Paris, Pierre Siegel:
Dealing with Satisfiability and n-ary CSPs in a Logical Framework. 391-417

Volume 48, Number 4, April 2012

- view
  authority control:
- export record
  dblp key:
  - journals/jar/VerbeekS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/VerbeekS12
Freek Verbeek, Julien Schmaltz:
Proof Pearl: A Formal Proof of Dally and Seitz' Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks. 419-439
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CortierD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CortierD12
Véronique Cortier, Stéphanie Delaune:
Decidability and Combination Results for Two Notions of Knowledge in Security Protocols. 441-487
- view
  authority control:
- export record
  dblp key:
  - journals/jar/JanicicNQ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/JanicicNQ12
Predrag Janicic, Julien Narboux, Pedro Quaresma:
The Area Method - A Recapitulation. 489-532

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.