Výsledky vyhledávání - "Journal of logical and algebraic methods in programming"
-
1
Journal of Logical and Algebraic Methods in Programming – Publisher's Note 2025
ISSN: 2352-2208Vydáno: Elsevier Inc 01.05.2025Vydáno v Journal of logical and algebraic methods in programming (01.05.2025)Získat plný text
Journal Article -
2
Corrigendum to “Runtime monitoring of 5G network slicing using STAn” [Journal of Logical and Algebraic Methods in Programming, 145 (2025) 101059]
ISSN: 2352-2208Vydáno: Elsevier Inc 01.07.2025Vydáno v Journal of logical and algebraic methods in programming (01.07.2025)Získat plný text
Journal Article -
3
A tribute to José Manuel Valença
ISSN: 2352-2208Vydáno: Elsevier Inc 01.08.2022Vydáno v Journal of logical and algebraic methods in programming (01.08.2022)“…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
Journal Article -
4
Reversibility and asymmetric conflict in event structures
ISSN: 2352-2208Vydáno: 01.11.2015Vydáno v Journal of logical and algebraic methods in programming (01.11.2015)Získat plný text
Journal Article -
5
Computational Modelling for Combinatorial Game Strategies
ISSN: 2352-2208Vydáno: 01.11.2025Vydáno v Journal of logical and algebraic methods in programming (01.11.2025)Získat plný text
Journal Article -
6
NWPT 2022 - Special issue
ISSN: 2352-2208Vydáno: 01.08.2025Vydáno v Journal of logical and algebraic methods in programming (01.08.2025)Získat plný text
Journal Article -
7
Programming with algebraic effects and handlers
ISSN: 2352-2208Vydáno: 01.01.2015Vydáno v Journal of logical and algebraic methods in programming (01.01.2015)Získat plný text
Journal Article -
8
Hoare-style logic for unstructured programs
ISSN: 2352-2208Vydáno: 01.03.2026Vydáno v Journal of logical and algebraic methods in programming (01.03.2026)Získat plný text
Journal Article -
9
Nominal anti-unification modulo equational theories
ISSN: 2352-2208Vydáno: Elsevier Inc 01.03.2026Vydáno v Journal of logical and algebraic methods in programming (01.03.2026)“…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
Journal Article -
10
Editorial Board
ISSN: 2352-2208Vydáno: 01.09.2025Vydáno v Journal of logical and algebraic methods in programming (01.09.2025)Získat plný text
Journal Article -
11
Editorial Board
ISSN: 2352-2208Vydáno: 01.07.2025Vydáno v Journal of logical and algebraic methods in programming (01.07.2025)Získat plný text
Journal Article -
12
When causality meets fairness: A survey
ISSN: 2352-2208Vydáno: Elsevier Inc 01.10.2024Vydáno v Journal of logical and algebraic methods in programming (01.10.2024)“…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
Journal Article -
13
Preface to selected papers from 21st Workshop on Programming and Languages (PROLE 2022)
ISSN: 2352-2208Vydáno: 01.10.2025Vydáno v Journal of logical and algebraic methods in programming (01.10.2025)Získat plný text
Journal Article -
14
Editorial Board
ISSN: 2352-2208Vydáno: 01.05.2025Vydáno v Journal of logical and algebraic methods in programming (01.05.2025)Získat plný text
Journal Article -
15
Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes
ISSN: 2352-2208Vydáno: Elsevier Inc 01.06.2023Vydáno v Journal of logical and algebraic methods in programming (01.06.2023)“…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
Journal Article -
16
Editorial Board
ISSN: 2352-2208Vydáno: 01.03.2025Vydáno v Journal of logical and algebraic methods in programming (01.03.2025)Získat plný text
Journal Article -
17
Editorial Board
ISSN: 2352-2208Vydáno: 01.02.2025Vydáno v Journal of logical and algebraic methods in programming (01.02.2025)Získat plný text
Journal Article -
18
From probability monads to commutative effectuses
ISSN: 2352-2208Vydáno: 01.01.2018Vydáno v Journal of logical and algebraic methods in programming (01.01.2018)Získat plný text
Journal Article -
19
Editorial Board
ISSN: 2352-2208Vydáno: 01.01.2025Vydáno v Journal of logical and algebraic methods in programming (01.01.2025)Získat plný text
Journal Article -
20
Preface to selected papers from 22nd Workshop on Programming and Languages (PROLE 2023)
ISSN: 2352-2208Vydáno: Elsevier Inc 01.05.2025Vydáno v Journal of logical and algebraic methods in programming (01.05.2025)“…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
Journal Article