Pebble Games, Proof Complexity, and Time-Space Trade-offs par Jakob Nordstrom

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types par Ranald Clouston, Aleš Bizjak, Hans Bugge Grathwohl, Lars Birkedal

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

Psi-calculi: a framework for mobile processes with nominal data and logic par Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

The Ho-Zhao Problem par Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, Xiaoyong Xi

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

Good-for-games $\omega$-Pushdown Automata par Karoliina Lehtinen, Martin Zimmermann

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

Classical BI: Its Semantics and Proof Theory par James Brotherston, Cristiano Calcagno

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

DRAT and Propagation Redundancy Proofs Without New Variables par Sam Buss, Neil Thapen

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

Language Preservation Problems in Parametric Timed Automata par Étienne André, Didier Lime, Nicolas Markey

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

On Tools for Completeness of Kleene Algebra with Hypotheses par Damien Pous, Jurriaan Rot, Jana Wagemaker

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings par Gustav Grabolle

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

Continuous Markovian Logics - Axiomatization and Quantified Metatheory par Radu Mardare, Luca Cardelli, Kim G. Larsen

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

A Formal Proof of the Irrationality of $\zeta(3)$ par Assia Mahboubi, Thomas Sibut-Pinote

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus par Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion par Thomas Ehrhard, Antonio Bucciarelli, Alberto Carraro, Giulio Manzonetto

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

Linear Programs with Conjunctive Database Queries par Florent Capelli, Nicolas Crosetti, Joachim Niehren, Jan Ramon

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

On the Metric Temporal Logic for Continuous Stochastic Processes par Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

Expressive Logics for Coinductive Predicates par Clemens Kupke, Jurriaan Rot

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

The Complexity of Combinations of Qualitative Constraint Satisfaction Problems par Manuel Bodirsky, Johannes Greiner

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof) par Petr Jancar

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral

Logical and Algebraic Characterizations of Rational Transductions par Emmanuel Filiot, Olivier Gauwin, Nathan Lhote

“…Logical Methods in Computer Science e.V.…”
Accéder au texte intégral