Results 291 to 300 of about 1,821,618 (323)

PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
Facundo Carreiro
semanticscholar   +1 more source

The decidability of the intensional fragment of classical linear logic

Theoretical Computer Science, 2015
K. Bimbó
semanticscholar   +1 more source

The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT

2011 Eighteenth International Symposium on Temporal Representation and Reasoning, 2014
D. Bresolin, Dario Della Monica, A. Montanari, G. Sciavicco   +3 more
semanticscholar   +1 more source

Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic

IEEE Conference on Decision and Control, 2013
Eric M. Wolff, U. Topcu, R. Murray
semanticscholar   +1 more source

Superposition Decides the First-Order Logic Fragment Over Ground Theories

Mathematics and Computer Science, 2012
E. Kruglov, Christoph Weidenbach
semanticscholar   +1 more source

Tractable Reasoning in a Fragment of Separation Logic

International Conference on Concurrency Theory, 2011
B. Cook, C. Haase, Joël Ouaknine, Matthew J. Parkinson, J. Worrell   +4 more
semanticscholar   +1 more source

On the positive fragment of the polymodal provability logic GLP

, 2012
E. Dashkov
semanticscholar   +1 more source

What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL

2011 IEEE 26th Annual Symposium on Logic in Computer Science, 2011
D. Bresolin, A. Montanari, P. Sala, G. Sciavicco   +3 more
semanticscholar   +1 more source

Logic-in-memory based on an atomically thin semiconductor

Nature, 2020
Guilherme Migliato Marega, Ahmet Avsar, Zhenyu Wang   +2 more
exaly  

Gallium nitride-based complementary logic integrated circuits

Nature Electronics, 2021
Zheyang Zheng, Li Zhang, Han Xu
exaly