Journal of Logical and Algebraic Methods in Programming
Latest Publications

TOTAL DOCUMENTS

527
(FIVE YEARS 207)

H-INDEX

13
(FIVE YEARS 6)

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 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

scholarly journals Formalizing Moessner's theorem and generalizations in Nuprl

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

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document