Journal of Logical and Algebraic Methods in Programming
Latest Publications

TOTAL DOCUMENTS

527
(FIVE YEARS 129)

H-INDEX

13
(FIVE YEARS 3)

Published By Elsevier

2352-2208
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Book review

2022 ◽  
Vol 125 ◽  
pp. 100744
Author(s):  
Adam D. Barwell ◽  
Francisco Ferreira ◽  
Nobuko Yoshida

scholarly journals Formalizing Moessner's theorem and generalizations in Nuprl

2022 ◽  
Vol 124 ◽  
pp. 100713
Author(s):  
Mark Bickford ◽  
Dexter Kozen ◽  
Alexandra Silva

scholarly journals The power of Tarski's relation algebra on trees

2022 ◽  
pp. 100748
Author(s):  
Jelle Hellings ◽  
Yuqing Wu ◽  
Marc Gyssens ◽  
Dirk Van Gucht
Keyword(s):  
Relation Algebra

Proving and disproving confluence of context-sensitive rewriting

2022 ◽  
pp. 100749
Author(s):  
Salvador Lucas ◽  
Miguel Vítores ◽  
Raúl Gutiérrez
Keyword(s):  
Context Sensitive

scholarly journals Unification and combination of a class of traversal strategies made with pattern matching and fixed-points

2021 ◽  
pp. 100746
Author(s):  
Walid Belkhir ◽  
Nicolas Ratier ◽  
Duy Duc Nguyen ◽  
Michel Lenczner
Keyword(s):  
Fixed Points ◽  
Pattern Matching
Load More ...
Sign in / Sign up

Export Citation Format

Share Document