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 ◽

Cited By ~ 6

Author(s):

Ahmet Kara ◽

Thomas Schwentick ◽

Tony Tan

Keyword(s):

Variable Logic

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):

Variable Logic

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):

Variable Logic

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 ◽

Cited By ~ 4

Author(s):

Tony Tan

Keyword(s):

Variable Logic ◽

Data Trees

variable logic

10.1007/springerreference_28064 ◽

2011 ◽

Keyword(s):

Variable Logic

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 ◽

Variable Logic

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 ◽

Cited By ~ 3

Author(s):

M. Renovell ◽

P. Huc ◽

Y. Bertrand

Keyword(s):

Variable Logic

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 ◽

Cited By ~ 3

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 ◽

Variable Logic

Two-Variable Logic with Two Order Relations

Logical Methods in Computer Science ◽

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

2012 ◽

Vol 8 (1) ◽

Cited By ~ 7

Author(s):

Thomas Schwentick ◽

Thomas Zeume

Keyword(s):

Order Relations ◽

Variable Logic

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 ◽

Variable Logic

Bounded Variable Logic, Parameterized Logarithmic Space, and Savitch’s Theorem

Mathematical Foundations of Computer Science 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-662-44522-8_16 ◽

2014 ◽

pp. 183-195 ◽

Cited By ~ 1

Author(s):

Yijia Chen ◽

Moritz Müller

Keyword(s):

Logarithmic Space ◽

Variable Logic