Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
Guerrieri, Giulio, Paolini, Luca, Della Rocca, Simona Ronchi
Published in Logical methods in computer science (01.01.2017)
Published in Logical methods in computer science (01.01.2017)
Get full text
Journal Article
Loading…
Reversing Place Transition Nets
Melgratti, Hernán, Mezzina, Claudio Antares, Ulidowski, Irek
Published in Logical methods in computer science (01.01.2020)
Published in Logical methods in computer science (01.01.2020)
Get full text
Journal Article
Loading…
Loading…
Duality for powerset coalgebras
Bezhanishvili, Guram, Carai, Luca, Morandi, Patrick
Published in Logical methods in computer science (03.02.2022)
Published in Logical methods in computer science (03.02.2022)
Get full text
Journal Article
Loading…
Loading…
The Dichotomy of Evaluating Homomorphism-Closed Queries on Probabilistic Graphs
Amarilli, Antoine, Ceylan, İsmail İlkan
Published in Logical methods in computer science (01.01.2022)
Published in Logical methods in computer science (01.01.2022)
Get full text
Journal Article
Loading…
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
Knop, Dušan, Koutecký, Martin, Masařík, Tomáš, Toufar, Tomáš
Published in Logical methods in computer science (04.12.2019)
Published in Logical methods in computer science (04.12.2019)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Loading…
Reachability and liveness in parametric timed automata
André, Étienne, Lime, Didier, Roux, Olivier H.
Published in Logical methods in computer science (09.02.2022)
Published in Logical methods in computer science (09.02.2022)
Get full text
Journal Article
Loading…
A Flexible Proof Format for SAT Solver-Elaborator Communication
Baek, Seulkee, Carneiro, Mario, Heule, Marijn J. H.
Published in Logical methods in computer science (01.01.2022)
Published in Logical methods in computer science (01.01.2022)
Get full text
Journal Article
Loading…
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Litak, Tadeusz, Pattinson, Dirk, Sano, Katsuhiko, Schröder, Lutz
Published in Logical methods in computer science (20.03.2018)
Published in Logical methods in computer science (20.03.2018)
Get full text
Journal Article
Loading…
Loading…
Loading…
Coalgebraic Behavioral Metrics
Baldan, Paolo, Bonchi, Filippo, Kerstan, Henning, König, Barbara
Published in Logical methods in computer science (14.09.2018)
Published in Logical methods in computer science (14.09.2018)
Get full text
Journal Article
Loading…
A strong call-by-need calculus
Balabonski, Thibaut, Lanco, Antoine, Melquiond, Guillaume
Published in Logical methods in computer science (01.03.2023)
Published in Logical methods in computer science (01.03.2023)
Get full text
Journal Article
Loading…
Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies
Maietti, Maria Emilia, Pasquali, Fabio, Rosolini, Giuseppe
Published in Logical methods in computer science (25.06.2019)
Published in Logical methods in computer science (25.06.2019)
Get full text
Journal Article