Results 211 to 220 of about 759,615 (239)

Optimality and the Linear Substitution Calculus

International Conference on Formal Structures for Computation and Deduction, 2017
Pablo Barenbaum, E. Bonelli
semanticscholar   +1 more source

Evaluation and development of a new diagnostic tool for early and reliable diagnostic of prosthetic joint infection

, 2020
K. Yermak
semanticscholar   +1 more source

The Complexity of Principal Inhabitation

International Conference on Formal Structures for Computation and Deduction, 2017
Andrej Dudenhefner, J. Rehof
semanticscholar   +1 more source

Decidable Logics with Associative Binary Modalities

Annual Conference for Computer Science Logic, 2017
Joseph Boudou
semanticscholar   +1 more source

The Power of the Filtration Technique for Modal Logics with Team Semantics

Annual Conference for Computer Science Logic, 2017
Martin Lück
semanticscholar   +1 more source

Refutation of Sallé's Longstanding Conjecture

International Conference on Formal Structures for Computation and Deduction, 2017
B. Intrigila, Giulio Manzonetto, A. Polonsky   +2 more
semanticscholar   +1 more source

Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence

Conference on Algebra and Coalgebra in Computer Science, 2017
David Sprunger, L. Moss
semanticscholar   +1 more source

Fast(er) Reasoning in Interval Temporal Logic

Annual Conference for Computer Science Logic, 2017
D. Bresolin, Emilio Muñoz-Velasco, G. Sciavicco   +2 more
semanticscholar   +1 more source

The Model-Theoretic Expressiveness of Propositional Proof Systems

Annual Conference for Computer Science Logic, 2017
E. Grädel, Benedikt Pago, Wied Pakusa
semanticscholar   +1 more source

On Definable and Recognizable Properties of Graphs of Bounded Treewidth (Invited Talk)

International Symposium on Mathematical Foundations of Computer Science, 2017
Michał Pilipczuk
semanticscholar   +1 more source