Go to journal home page - The Journal of Logic and Algebraic Programming

The Journal of Logic and Algebraic Programming

 • 

Articles

Benoît Delahaye, ... Axel Legay
January 2014View PDF
Gabriel Aranda-López, ... Jaime Sánchez-Hernández
January 2014View PDF
Naoki Nishida, Germán Vidal
January 2014View PDF
Luca Aceto, ... Eugen-Ioan Goriac
January 2014View PDF
Laura Kovács, ... Francesco Tiezzi
November 2013View PDF
Nataliia Bielova
November 2013View PDF
Marco Giunti
November 2013View PDF
Jonathan Michaux, ... Alessandro Fantechi
November 2013View PDF

Special issues and article collections

Automated Specification and Verification of Web Systems

Edited by Dr. Laura Kovács, Dr. Rosario Pugliese, Dr. Josep Silva, Dr. Francesco Tiezzi
November 2013

Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11)

Edited by Prof. Ernesto Pimentel, Prof. Valentín Valero
July–October 2013

Rewriting Logic and its Applications

Edited by Dr. Peter Csaba Ölveczky, Prof. Narciso Martí-Oliet
October–November 2012