JournalTOCs

Journal of Logical and Algebraic Methods in Programming
Journal Prestige (SJR): 0.325

Citation Impact (citeScore): 1
Number of Followers: 1

Hybrid journal (It can contain Open Access articles)
ISSN (Print) 2352-2208 - ISSN (Online) 2352-2208
Published by Elsevier

[2974 journals]

Back to the Format: A Survey on SOS for Probabilistic Processes
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 13 November 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Valentina Castiglioni, Ruggero Lanotte, Simone Tini
Business processes resource management using rewriting logic and
deep-learning-based predictive monitoring
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: January 2024Source: Journal of Logical and Algebraic Methods in Programming, Volume 136Author(s): Francisco Durán, Nicolás Pozas, Camilo Rocha
Time distance-based computation of the DBM over-approximation of
preemptive real-time systems
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 4 November 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Abdelkrim Abdelli
Local confluence of conditional and generalized term rewriting systems
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 31 October 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Salvador Lucas
Lean&rft.title=Journal+of+Logical+and+Algebraic+Methods+in+Programming&rft.issn=2352-2208&rft.date=&rft.volume=">Certifying expressive power and algorithms of reversible primitive
permutations with Lean
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: January 2024Source: Journal of Logical and Algebraic Methods in Programming, Volume 136Author(s): Giacomo Maletto, Luca Roversi
Quantum encoding of dynamic directed graphs
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 27 October 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): D. Della Giustina, C. Londero, C. Piazza, B. Riccardi, R. Romanello
The Correctness of Concurrencies in (Reversible) Concurrent Calculi
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 20 October 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Clément Aubert
Control-Data Separation and Logical Condition Propagation for Efficient
Inference on Probabilistic Programs
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 5 October 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata
A Dynamic Logic with Branching Modalities
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 2 October 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Yuanrui Zhang, Zhiming Liu
Branching pomsets: design, expressiveness and applications to
choreographies
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 20 September 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani
Specification and modelling of computing systems through graphs and graph
transformation
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: October 2023Source: Journal of Logical and Algebraic Methods in Programming, Volume 135Author(s): Fabio Gadducci, Timo Kehrer
A generic construction for crossovers of graph-like structures and its
realization in the eclipse modeling framework
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 9 September 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Jens Kosiol, Stefan John, Gabriele Taentzer
Weighted Automata Extraction and Explanation of Recurrent Neural Networks
for Natural Language Tasks
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 6 September 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun
On Algebraic Array Theories
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 1 September 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Rodrigo Raya, Viktor Kunčak
Program equivalence in a typed probabilistic call-by-need functional
language
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: October 2023Source: Journal of Logical and Algebraic Methods in Programming, Volume 135Author(s): Manfred Schmidt-Schauß, David Sabel
Reducing Non-Occurrence of Specified Runtime Errors to All-Path
Reachability Problems of Constrained Rewriting
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 5 August 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Misaki Kojima, Naoki Nishida
An Efficient Canonical Narrowing Implementation with Irreducibility and
SMT Constraints for Generic Symbolic Protocol Analysis
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 25 July 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Raúl López-Rueda, Santiago Escobar, Julia Sapiña
Operationally-based Program Equivalence Proofs using LCTRSs
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 20 July 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Ştefan Ciobâcă, Dorel Lucanu, Andrei Sebastian Buruiană
ElixirST: A session-based type system for Elixir modules
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: October 2023Source: Journal of Logical and Algebraic Methods in Programming, Volume 135Author(s): Adrian Francalanza, Gerard Tabone
Fundamentals of Compositional Rewriting Theory
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 18 July 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Nicolas Behr, Russ Harmer, Jean Krivine
Composition of Synchronous Communicating Systems
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 12 July 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Franco Barbanera, Ivan Lanese, Emilio Tuosto
An Axiomatic Approach to Differentiation of Polynomial Circuits
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 30 June 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Paul Wilson, Fabio Zanasi
Liquidity analysis in resource-aware programming
- Free pre-print version: Loading...
  Rate this result: What is this?
  
  Please help us test our new pre-print finding feature by giving the pre-print link a rating.
  A 5 star rating indicates the linked pre-print has the exact same content as the published article.
  
  Abstract: Publication date: Available online 16 June 2023Source: Journal of Logical and Algebraic Methods in ProgrammingAuthor(s): Cosimo Laneve