Volume 20, Numbers 1-2, June 2007 Special Issue on Rewriting Logic and its Applications
export record as
dblp key:
journals/lisp/Marti-OlietRT07 export record as
dblp key:
journals/lisp/CervesatoS07 export record as
dblp key:
journals/lisp/CirsteaFK07 export record as
dblp key:
journals/lisp/Lopez-FraguasRV07 export record as
dblp key:
journals/lisp/MeseguerT07 José Meseguer ,
Prasanna Thati :
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols.
123-160
export record as
dblp key:
journals/lisp/OlveczkyM07
Volume 20, Number 3, September 2007
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Pierre Crégut :
Strongly reducing variants of the Krivine abstract machine.
209-230
export record as
dblp key:
Mitchell Wand :
On the correctness of the Krivine machine.
231-235
export record as
dblp key:
export record as
dblp key:
Frédéric Lang :
Explaining the lazy Krivine machine using explicit substitution and addresses.
257-270
export record as
dblp key:
journals/lisp/FriedmanGSW07 export record as
dblp key:
export record as
dblp key:
David A. Schmidt :
State-transition machines for lambda-calculus expressions.
319-332
export record as
dblp key:
Volume 20, Number 4, December 2007
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/lisp/KrishnamurthiHMGPF07
data released under the ODC-BY 1.0 license
