Journal of Logical and Algebraic Methods in Programming

Title Publication Date Language Citations
Hopscotch—reaching the target hop by hop2014/03/01English
Preface2014/03/01English
Relational properties of sequential composition of coalgebras2014/03/01English
Relations into algebras of probabilistic distributions2014/03/01English
On nothing2014/03/01English
Spatial voting games, relation algebra and RelView2014/03/01English
Relation Algebra as programming language using the Ampersand compiler2018/11/01English
Logic programming approach to automata-based decision procedures2017/01/01English
Extended Feature Algebra2016/08/01English
Relational and algebraic methods in computer science2016/06/01English
Does this fault lead to failure? Combining refinement and input–output conformance checking in fault-oriented test-case generation2016/08/01English
Editorial Board2017/12/01English
Editorial Board2016/04/01English
Contents2016/04/01English
Exploring nominal cellular automata2017/12/01English
Editorial Board2017/10/01English
Editorial Board2017/11/01English
Relations in linear algebra2017/10/01English
Guest editors' foreword2017/08/01English
Contents2017/08/01English
On detecting over-eager concurrency in asynchronously communicating concurrent object systems2017/08/01English
Editorial Board2017/08/01English
Preface2018/01/01English
Editorial Board2018/01/01English
Data-driven adaptation for smart sessions2017/08/01English
Editorial Board2017/04/01English
A stochastic interpretation of game logic2017/04/01English
Contents2017/04/01English
Tiling algebra for constraint-based layout editing2017/06/01English
Editorial Board2016/08/01English