Search Results

Fragments of First-Order Logic over Infinite Words.

• Authors : Diekert, Volker¹ ; Kufleitner, Manfred¹

• Source: Theory of Computing Systems. Apr2011, Vol. 48 Issue 3, p486-516. 31p.

Record details

Minimal Distance of Propositional Models: Minimal distance of propositional models

• Authors : Mike Behrisch; Miki Hermann; Stefan Mengel ...

Subjects: FOS: Computer and information sciences; optimization problems; Computational aspects of satisfiability

• Source: Theory of Computing Systems. 63:1131-1184

Record details

Preface of the Special Issue on Theoretical Aspects of Computer Science (2018)

• Authors : Niedermeier, Rolf; Vallée, Brigitte;

Subjects: [INFO]Computer Science [cs]

• Source: Theory of Computing Systems. 64:371-373

Record details

Preface: Special Issue on Theoretical Aspects of Computer Science (STACS).

• Authors : Albers, Susanne¹ ; Marion, Jean-Yves²

• Source: Theory of Computing Systems. Apr2011, Vol. 48 Issue 3, p443-443. 1p.

Record details

Reordered Computable Numbers.

• Authors : Janicki, Philip¹ (AUTHOR)

• Source: Theory of Computing Systems. Dec2024, Vol. 68 Issue 6, p1683-1708. 26p.

Record details

Placing Green Bridges Optimally, with a Multivariate Analysis.

• Authors : Fluschnik, Till¹ (AUTHOR); Kellerhals, Leon¹ (AUTHOR)

• Source: Theory of Computing Systems. Oct2024, Vol. 68 Issue 5, p1312-1338. 27p.

Record details

Subgroup Membership in GL(2,Z).

• Authors : Lohrey, Markus¹ (AUTHOR)

• Source: Theory of Computing Systems. Aug2024, Vol. 68 Issue 4, p1082-1107. 26p.

Record details

Equation Satisfiability in Solvable Groups.

• Authors : Idziak, Paweł¹ (AUTHOR); Kawałek, Piotr¹ (AUTHOR); Krzaczkowski, Jacek² (AUTHOR)

• Source: Theory of Computing Systems. Aug2024, Vol. 68 Issue 4, p740-757. 18p.

Record details

On the structure of solution-sets to regular word equations.

• Authors : Day, Joel D.¹ (AUTHOR) ; Manea, Florin² (AUTHOR)

• Source: Theory of Computing Systems. Aug2024, Vol. 68 Issue 4, p662-739. 78p.

Record details

The Power Word Problem in Graph Products.

• Authors : Lohrey, Markus¹ (AUTHOR) ; Stober, Florian² (AUTHOR) ; Weiß, Armin² (AUTHOR)

• Source: Theory of Computing Systems. Jun2024, Vol. 68 Issue 3, p403-464. 62p.

Record details