Výsledky vyhledávání - "Journal of logical and algebraic methods in programming"

Journal of Logical and Algebraic Methods in Programming – Publisher's Note 2025

Získat plný text

Corrigendum to “Runtime monitoring of 5G network slicing using STAn” [Journal of Logical and Algebraic Methods in Programming, 145 (2025) 101059] Autor Panizo, Laura, Gallardo, María-del-Mar, Luque-Schempp, Francisco, Merino, Pedro

Získat plný text

A tribute to José Manuel Valença Autor Oliveira, José Nuno, Pinto, Jorge Sousa, Barbosa, Luís Soares, Henriques, Pedro Rangel

“…The present Special Issue of the Journal of Logical and Algebraic Methods in Programming was planned as a tribute to José…”
Získat plný text

Reversibility and asymmetric conflict in event structures Autor Phillips, Iain, Ulidowski, Irek

Získat plný text

Computational Modelling for Combinatorial Game Strategies Autor Diaconescu, Răzvan

Získat plný text

NWPT 2022 - Special issue Autor Barash, Mikhail, Din, Crystal Chang, Haveraaen, Magne

Získat plný text

Programming with algebraic effects and handlers Autor Bauer, Andrej, Pretnar, Matija

Získat plný text

Hoare-style logic for unstructured programs Autor Lundberg, Didrik, Guanciale, Roberto, Lindner, Andreas, Dam, Mads

Získat plný text

Nominal anti-unification modulo equational theories Autor Baumgartner, Alexander, Nantes-Sobrinho, Daniele

“…This paper investigates nominal anti-unification, i.e., the problem of computing least general generalizations of terms in the presence of binding structures…”
Získat plný text

Editorial Board

Získat plný text

Editorial Board

Získat plný text

When causality meets fairness: A survey Autor Makhlouf, Karima, Zhioua, Sami, Palamidessi, Catuscia

“…Addressing the problem of fairness is crucial to safely using machine learning algorithms to support decisions that have a critical impact on people's lives,…”
Získat plný text

Preface to selected papers from 21st Workshop on Programming and Languages (PROLE 2022) Autor Julián-Iranzo, Pascual

Získat plný text

Editorial Board

Získat plný text

Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes Autor Overbeek, Roy, Endrullis, Jörg, Rosset, Aloïs

“…We extend the powerful Pullback-Pushout (PBPO) approach for graph rewriting with strong matching. Our approach, called PBPO+, allows more control over the…”
Získat plný text

Editorial Board

Získat plný text

Editorial Board

Získat plný text

From probability monads to commutative effectuses Autor Jacobs, Bart

Získat plný text

Editorial Board

Získat plný text

Preface to selected papers from 22nd Workshop on Programming and Languages (PROLE 2023) Autor Panizo, Laura

“…This special issue collects extended versions of selected papers presented at the 22nd Workshop on Programming and Languages (PROLE 2023), held in Ciudad Real…”
Získat plný text