Journal of Logic and Algebraic Methods in Programming, Volume 86

Volume 86, Number 1, January 2017

Special Section : Interaction and Concurrency Experience 2015 Special Section : Rewriting Logic and its Applications(extended selected papers from WRLA 2014) Research Papers
maintained by Schloss Dagstuhl LZI at University of Trier