Model Checking One-clock Priced Timed Automata av Patricia Bouyer, Kim G. Larsen, Nicolas Markey

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

Enriched MU-Calculi Module Checking av Alessandro Ferrante, Aniello Murano, Mimmo Parente

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

Off-line test selection with test purposes for non-deterministic timed automata av Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

Linear equations for unordered data vectors in $[D]^k\to{}Z^d$ av Piotr Hofman, Jakub Różycki

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

Shortest paths in one-counter systems av Dmitry Chistikov, Wojciech Czerwiński, Piotr Hofman, Michał Pilipczuk, Michael Wehar

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

Converse extensionality and apartness av Benno van den Berg, Robert Passmann

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

Foundations of regular coinduction av Francesco Dagnino

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

First-order query evaluation on structures of bounded degree av Wojciech Kazana, Luc Segoufin

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

Dynamic Complexity of Parity Exists Queries av Nils Vortmeier, Thomas Zeume

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

CC-circuits and the expressive power of nilpotent algebras av Michael Kompatscher

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

Non-Deterministic Kleene Coalgebras av Alexandra Silva, Marcello Bonsangue, Jan Rutten

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

Sequential Relational Decomposition av Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

First-order queries on classes of structures with bounded expansion av Wojtek Kazana, Luc Segoufin

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

Register Automata with Extrema Constraints, and an Application to Two-Variable Logic av Szymon Toruńczyk, Thomas Zeume

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

An implicit function theorem for the stream calculus av Michele Boreale, Luisa Collodi, Daniele Gorla

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

Residuality and Learning for Nondeterministic Nominal Automata av Joshua Moerman, Matteo Sammartino

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

Aspects of algebraic Algebras av Dirk Hofmann, Lurdes Sousa

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

Closed Sets and Operators thereon: Representations, Computability and Complexity av Carsten Rösnick-Neugebauer

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

Lineal: A linear-algebraic Lambda-calculus av Pablo Arrighi, Gilles Dowek

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext

Sequential decision problems, dependent types and generic solutions av Nicola Botta, Patrik Jansson, Cezar Ionescu, David R. Christiansen, Edwin Brady

“…Logical Methods in Computer Science e.V.…”
Hämta fulltext