Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Fragments of First-Order Logic over Infinite Words.

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

Record details

×
Academic Journal

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

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

Record details

×
Academic Journal

Reordered Computable Numbers.

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

Record details

×
Academic Journal

Placing Green Bridges Optimally, with a Multivariate Analysis.

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

Record details

×
Academic Journal

Subgroup Membership in GL(2,Z).

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

Record details

×
Academic Journal

Equation Satisfiability in Solvable Groups.

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

Record details

×
Academic Journal

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

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

Record details

×
Academic Journal

The Power Word Problem in Graph Products.

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

Record details

×
  • 1-10 of  453 results for ""Universität""