Loading…
On Bisimilarity for Quasi-discrete Closure Spaces
Ciancia, Vincenzo, Latella, Diego, Massink, Mieke, de Vink, Erik P.
Published in Logical methods in computer science (26.08.2025)
Published in Logical methods in computer science (26.08.2025)
Get full text
Journal Article
Loading…
Coinductive Streams in Monoidal Categories
Di Lavore, Elena, de Felice, Giovanni, Román, Mario
Published in Logical methods in computer science (12.08.2025)
Published in Logical methods in computer science (12.08.2025)
Get full text
Journal Article
Loading…
A Fully Abstract Model of PCF Based on Extended Addressing Machines
Intrigila, Benedetto, Manzonetto, Giulio, Munnich, Nicolas
Published in Logical methods in computer science (07.08.2025)
Published in Logical methods in computer science (07.08.2025)
Get full text
Journal Article
Loading…
Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
El-Kholany, Mohammed M. S., Gebser, Martin, Schekotihin, Konstantin
Published in Logical methods in computer science (07.08.2025)
Published in Logical methods in computer science (07.08.2025)
Get full text
Journal Article
Loading…
Loading…
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
Zese, Riccardo, Lamma, Evelina, Riguzzi, Fabrizio
Published in Logical methods in computer science (05.08.2025)
Published in Logical methods in computer science (05.08.2025)
Get full text
Journal Article
Loading…
MacroSwarm: A Field-based Compositional Framework for Swarm Programming
Aguzzi, Gianluca, Casadei, Roberto, Viroli, Mirko
Published in Logical methods in computer science (05.08.2025)
Published in Logical methods in computer science (05.08.2025)
Get full text
Journal Article
Loading…
Loading…
Synthesis with Privacy Against an Observer
Kupferman, Orna, Leshkowitz, Ofer, Halevy, Namma Shamash
Published in Logical methods in computer science (29.07.2025)
Published in Logical methods in computer science (29.07.2025)
Get full text
Journal Article
Loading…
Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
Pears, Jonah, Bocchi, Laura, Murgia, Maurizio, King, Andy
Published in Logical methods in computer science (23.07.2025)
Published in Logical methods in computer science (23.07.2025)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Loading…
Checkpoint-based rollback recovery in session programming
Mezzina, Claudio Antares, Tiezzi, Francesco, Yoshida, Nobuko
Published in Logical methods in computer science (10.01.2025)
Published in Logical methods in computer science (10.01.2025)
Get full text
Journal Article
Loading…
Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules
Fritsche, Lars, Kosiol, Jens, Lauer, Alexander, Möller, Adrian, Schürr, Andy
Published in Logical methods in computer science (18.09.2024)
Published in Logical methods in computer science (18.09.2024)
Get full text
Journal Article
Loading…
Half-Positional Objectives Recognized by Deterministic B\"uchi Automata
Bouyer, Patricia, Casares, Antonio, Randour, Mickael, Vandenhove, Pierre
Published in Logical methods in computer science (29.08.2024)
Published in Logical methods in computer science (29.08.2024)
Get full text
Journal Article
Loading…