Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
Journal Details
L
Logical Methods in Computer Science
IF
1
Papers
39
Citations
Related Insights
0
subscribe
Journal Papers
39
Related Insights
0
Journal Papers
39
Publication Date
Publication Date
IF
Citations
ENUMERATION AND UPDATES FOR CONJUNCTIVE LINEAR ALGEBRA QUERIES THROUGH EXPRESSIBILITY
Logical Methods in Computer Science
IF
1
2026-01-01
1
PRE
AI
Munoz, Thomas; Riveros, Cristian; Vansummeren, Stijn
Share
Save
POSITIONALITY IN Σ02 AND A COMPLETENESS RESULT
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Ohlmann, Pierre; Skrzypczak, Micha l
Share
Save
DENSE INTEGER-COMPLETE SYNTHESIS FOR BOUNDED PARAMETRIC TIMED AUTOMATA
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Andre, Etienne; Lime, Didier; Roux, Olivier H.
Share
Save
FORMAL ANALYSIS OF THE CONTRACT AUTOMATA RUNTIME ENVIRONMENT WITH UPPAAL: MODELLING, VERIFICATION AND TESTING
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Basile, Davide
Share
Save
TERMINATION OF GRAPH TRANSFORMATION SYSTEMS VIA GENERALIZED WEIGHTED TYPE GRAPHS
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Endrullis, Jorg; Overbeek, Roy
Share
Save
A SCALABLE GAME-THEORETIC APPROACH FOR SELECTING SECURITY CONTROLS FROM STANDARDIZED CATALOGUES
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Leveille, Dylan; Jaskolka, Jason
Share
Save
ONLINE MONITORING OF METRIC TEMPORAL LOGIC USING SEQUENTIAL NETWORKS
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Ulus, Dogan
Share
Save
USING WEAKEST APPLICATION CONDITIONS TO RANK GRAPH TRANSFORMATIONS FOR GRAPH REPAIR
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Fritsche, Lars; Lauer, Alexander; Kratz, Maximilian; Schurr, Andy; Taentzer, Gabriele
Share
Save
PRIME FACTORIZATION IN MODELS OF PV1
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Jezil, Ondrej
Share
Save
TIGHTER BOUNDS FOR QUERY ANSWERING WITH GUARDED TGDS
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Amarilli, Antoine; Benedikt, Michael
Share
Save
CAUSAL GRAPH DYNAMICS AND KAN EXTENSIONS
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Maignan, Luidnel; Spicher, Antoine
Share
Save
ON POLYNOMIAL-TIME DECIDABILITY OF k-NEGATIONS FRAGMENTS OF FIRST-ORDER THEORIES
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Haase, Christoph; Mansutti, Alessio; Pouly, Amaury
Share
Save
SIMPLE CLASSES OF AUTOMATIC STRUCTURES
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Blumensath, Achim
Share
Save
FBFL: A FIELD-BASED COORDINATION APPROACH FOR DATA HETEROGENEITY IN FEDERATED LEARNING
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Domini, Davide; Aguzzi, Gianluca; Esterle, Lukas; Viroli, Mirko
Share
Save
PEBBLE GAMES AND ALGEBRAIC PROOF SYSTEMS
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Jaser, Lisa-marie; Toran, Jacobo
Share
Save
UNIFYING GRADED LINEAR LOGIC AND DIFFERENTIAL OPERATORS
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Breuvart, Flavien; Kerjean, Marie; Mirwasser, Simon
Share
Save
EMPIRICAL MEASURES AND STRONG LAWS OF LARGE NUMBERS IN CATEGORICAL PROBABILITY
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Fritz, Tobias; Gonda, Tomas; Lorenzin, Antonio; Perrone, Paolo; Mohammed, Areeb Shah
Share
Save
LOCALIZED RETE FOR INCREMENTAL GRAPH QUERIES WITH NESTED GRAPH CONDITIONS
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Barkowsky, Matthias; Giese, Holger
Share
Save
AN OBJECTIVE IMPROVEMENT APPROACH TO SOLVING DISCOUNTED PAYOFF GAMES
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Dell'erba, Daniele; Dumas, Arthur; Schewe, Sven
Share
Save
HOMOTOPY TYPE THEORY AS A LANGUAGE FOR DIAGRAMS OF ∞-LOGOSES
Logical Methods in Computer Science
IF
1
2026-01-01
0
PRE
AI
Uemura, Taichi
Share
Save
.png){kind=icon}
.png){kind=icon}
Not logged in.png){kind=icon}
Not logged in.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}