Two-Variable Logic with Counting and Trees

ACM Transactions on Computational Logic ◽

10.1145/2983622 ◽

2016 ◽

Vol 17 (4) ◽

pp. 1-27

Author(s):

Witold Charatonik ◽

Piotr Witkowski

Keyword(s):

Download Full-text

An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic

ACM Transactions on Computational Logic ◽

10.1145/3149822 ◽

2017 ◽

Vol 18 (4) ◽

pp. 1-22

Author(s):

Andreas Krebs ◽

Howard Straubing

Keyword(s):

Download Full-text

Register Automata with Extrema Constraints, and an Application to Two-Variable Logic

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1145/3373718.3394748 ◽

2020 ◽

Author(s):

Szymon Toruńczyk ◽

Thomas Zeume

Keyword(s):

Download Full-text

Feasible Automata for Two-Variable Logic with Successor on Data Words

Language and Automata Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-28332-1_30 ◽

2012 ◽

pp. 351-362 ◽

Author(s):

Ahmet Kara ◽

Thomas Schwentick ◽

Tony Tan

Keyword(s):

Download Full-text

Extending two-variable logic on data trees with order on data values and its automata

ACM Transactions on Computational Logic ◽

10.1145/2559945 ◽

2014 ◽

Vol 15 (1) ◽

pp. 1-39 ◽

Author(s):

Tony Tan

Keyword(s):

Variable Logic ◽

Download Full-text

variable logic

10.1007/springerreference_28064 ◽

2011 ◽

Keyword(s):

Download Full-text

One-variable logic meets Presburger arithmetic

Theoretical Computer Science ◽

10.1016/j.tcs.2019.09.028 ◽

2020 ◽

Vol 802 ◽

pp. 141-146

Author(s):

Bartosz Bednarczyk

Keyword(s):

Presburger Arithmetic ◽

Download Full-text

The Configuration Ratio: A model for simulating CMOS intra-gate bridge with variable logic thresholds

Dependable Computing — EDCC-1 - Lecture Notes in Computer Science ◽

10.1007/3-540-58426-9_130 ◽

1994 ◽

pp. 165-177 ◽

Author(s):

M. Renovell ◽

P. Huc ◽

Y. Bertrand

Keyword(s):

Download Full-text

Epimorphisms in cylindric algebras and definability in finite variable logic

Algebra Universalis ◽

10.1007/s00012-009-0022-2 ◽

2009 ◽

Vol 61 (3-4) ◽

pp. 261-282 ◽

Author(s):

H. Andréka ◽

S. D. Comer ◽

J. X. Madarász ◽

I. Németi ◽

T. Sayed Ahmed

Keyword(s):

Cylindric Algebras ◽

Finite Variable Logic ◽

Download Full-text

Two-Variable Logic with Two Order Relations

Logical Methods in Computer Science ◽

10.2168/lmcs-8(1:15)2012 ◽

2012 ◽

Vol 8 (1) ◽

Author(s):

Thomas Schwentick ◽

Thomas Zeume

Keyword(s):

Order Relations ◽

Download Full-text

A neuron MOS variable logic circuit with the simplified circuit structure

Proceedings of 2004 IEEE Asia-Pacific Conference on Advanced System Integrated Circuits APASIC-04 ◽

10.1109/apasic.2004.1349526 ◽

2004 ◽

Author(s):

Y. Ishikawa ◽

S. Fukai

Keyword(s):

Logic Circuit ◽

Circuit Structure ◽

Download Full-text