logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
J

Journal of Logical and Algebraic Methods in Programming

IF1.2
Papers15
Citations
Journal Papers 15
Publication Date
delete
Inferring RPO symbol orderings
deleteJournal of Logical and Algebraic Methods in Programming
IF1.2
delete2026-06-01
delete0
PREAI
deleteDu, Wei; Narendran, Paliath; Rusinowitch, Michael
deleteShare
deleteSave
Preface of the PLACES 2023 special issue
deleteJournal of Logical and Algebraic Methods in Programming
IF1.2
delete2026-03-01
delete0
PREAI
deleteCastellani, Ilaria; Scalas, Alceste
deleteShare
deleteSave
NWPT 2022-Special issue
deleteJournal of Logical and Algebraic Methods in Programming
IF1.2
delete2026-03-01
delete0
PREAI
deleteBarash, Mikhail; Din, Crystal Chang; Haveraaen, Magne
deleteShare
deleteSave
Preface to selected papers from 21st Workshop on Programming and Languages (PROLE 2022)
deleteJournal of Logical and Algebraic Methods in Programming
IF1.2
delete2026-03-01
delete0
PREAI
deleteJulian-Iranzo, Pascual
deleteShare
deleteSave
Safe orchestrated multicomposition of systems of communicating finite state machines
deleteJournal of Logical and Algebraic Methods in Programming
IF1.2
delete2026-02-01
delete0
deleteOAAI
deleteBarbanera, Franco; Hennicker, Rolf
deleteShare
deleteSave
Formal reasoning about Bernstein-Vazirani algorithm
deleteJournal of Logical and Algebraic Methods in Programming
IF1.2
delete2026-01-01
delete0
PREAI
deleteSun, Hongxia; Shi, Zhiping; Chen, Shanyan; Wang, Guohui; Li, Ximeng; Guan, Yong
deleteShare
deleteSave
DM-Check: Verifying invariants of concurrent systems by deductive model checking
deleteJournal of Logical and Algebraic Methods in Programming
IF1.2
delete2025-12-01
delete0
deleteOAAI
deleteBae, Kyungmin; Escobar, Santiago; Lopez-Rueda, Raul; Meseguer, Jose; Sapina, Julia
deleteShare
deleteSave
Hoare-style logic for unstructured programs
deleteJournal of Logical and Algebraic Methods in Programming
IF1.2
delete2025-11-01
delete0
deleteOAAI
deleteLundberg, Didrik; Guanciale, Roberto; Lindner, Andreas; Dam, Mads
deleteShare
deleteSave
Nominal anti-unification modulo equational theories
deleteJournal of Logical and Algebraic Methods in Programming
IF1.2
delete2025-11-01
delete0
PREAI
deleteBaumgartner, Alexander; Nantes-Sobrinho, Daniele
deleteShare
deleteSave
Computational modelling for combinatorial game strategies
deleteJournal of Logical and Algebraic Methods in Programming
IF1.2
delete2025-11-01
delete0
PREAI
deleteDiaconescu, Razvan
deleteShare
deleteSave
Unified opinion formation analysis in rewriting logic
deleteJournal of Logical and Algebraic Methods in Programming
IF1.2
delete2025-10-01
delete0
PREAI
deleteOlarte, Carlos; Ramirez, Carlos; Rocha, Camilo; Valencia, Frank
deleteShare
deleteSave
Makina: A QuickCheck state machine library
deleteJournal of Logical and Algebraic Methods in Programming
IF1.2
delete2025-10-01
delete0
deleteOAAI
deleteDe Barrio, Luis Eduardo Bueso; Fredlund, Lars-Ake; Herranz, Angel; Benac-Earle, Clara; Marino, Julio
deleteShare
deleteSave
On the inner structure of multirelations
deleteJournal of Logical and Algebraic Methods in Programming
IF1.2
delete2025-10-01
delete0
deleteOAAI
deleteFurusawa, Hitoshi; Guttmann, Walter; Struth, Georg
deleteShare
deleteSave
Combining sequential test cases into an equivalent set of adaptive test cases
deleteJOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
IF0
delete2025-09-01
delete0
deleteOAAI
deleteHierons, Robert M.; Merayo, Mercedes G.; Nunez, Manuel
deleteShare
deleteSave
Algebraic reasoning for timeliness-guided system design
deleteJOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
IF0
delete2025-09-01
delete0
deleteOAAI
deleteHaeri, Seyed Hossein; Van Roy, Peter; Apfelmus, Heinrich; Thompson, Peter W.; Davies, Neil J.; Haveraaen, Magne; Barash, Mikhail; Hammond, Kevin; Chapman, James; Sinkarovs, Artjoms
deleteShare
deleteSave