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

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  235 results for ""Computer Networks and Communications""

Your Filters

Publication : journal of computer and system sciences Subject : computer science Subject : theoryofcomputation_mathematicallogicandformallanguages Filter by : Subject
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Using decomposition-parameters for QBF: Mind the prefix!

Subjects: Discrete mathematics; Computer Networks and Communications; Computer science

  • Source: Journal of Computer and System Sciences. 110:1-21

Record details

Read Online Read More Add to Saved list
×

Relating the bisection width of dual-port, server-centric datacenter networks and the solution of edge isoperimetric problems in graphs

Subjects: S-bisection width; datacenter networks; ComputerSystemsOrganization_COMPUTERSYSTEMIMPLEMENTATION

  • Source: Journal of computer and system sciences, 2020, Vol.108, pp.10-28 [Peer Reviewed Journal]Erickson, A, Navaridas, J & Stewart, I A 2019, ' Relating the Bisection

Record details

Read Online Read More Add to Saved list
×

Verifying whether one-tape Turing machines run in linear time

Subjects: Discrete mathematics; TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES; Computer Networks and Communications

  • Source: Journal of Computer and System Sciences. 107:93-107

Record details

Read Online Read More Add to Saved list
×

Decidable weighted expressions with Presburger combinators

Subjects: FOS: Computer and information sciences; Formal Languages and Automata Theory (cs.FL); Computer Networks and Communications

  • Source: Journal of computer and system sciences, 106

Record details

Read Online Read More Add to Saved list
×

Deterministic regular expressions with back-references

Subjects: FOS: Computer and information sciences; Theoretical computer science; Matching (graph theory)

  • Source: Journal of Computer and System Sciences. 105:1-39

Record details

Read Online Read More Add to Saved list
×

Recurrence relations, succession rules and the positivity problem

Subjects: Discrete mathematics; 050101 languages & linguistics; Sequence

  • Source: LATALanguage and Automata Theory and Applications ISBN: 9783319155784

Record details

Read Online Read More Add to Saved list
×

Efficient enumeration of weighted tree languages over the tropical semiring

Subjects: 060201 languages & linguistics; Discrete mathematics; TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES

  • Source: Journal of Computer and System Sciences. 104:119-130

Record details

Read Online Read More Add to Saved list
×

Visibly pushdown transducers

Subjects: Nested word; General Computer Science; Computer Networks and Communications

  • Source: Journal of Computer and System SciencesJournal of Computer and System Sciences, Elsevier, 2018, 97, pp.147-181.

Record details

Read Online Read More Add to Saved list
×

Reconfiguration in bounded bandwidth and tree-depth

Subjects: Discrete mathematics; Computer Networks and Communications; Computer science

  • Source: Journal of Computer and System Sciences. 93:1-10

Record details

Read Online Read More Add to Saved list
×

On decidability and complexity of low-dimensional robot games

Subjects: Discrete mathematics; Computer Science::Computer Science and Game Theory; Computer Networks and Communications

  • Source: Journal of Computer and System Sciences

Record details

Read Online Read More Add to Saved list
×
  • 1-10 of  235 results for ""Computer Networks and Communications""