The Primitive Deficiency of two Primitive Strings

  • Abstract
  • References
  • Similar Papers
Abstract
Translate article icon Translate Article Star icon
Take notes icon Take Notes

The Primitive Deficiency of two Primitive Strings

Note: looks like a niche area of research and we don't have enough papers to generate a graph.
More from: Acta Informatica
  • Research Article
  • 10.1007/s00236-025-00504-z
Symbolic execution for refuting ∀∃ hyperproperties
  • Oct 27, 2025
  • Acta Informatica
  • Arthur Correnson + 3 more

  • Research Article
  • 10.1007/s00236-025-00507-w
Explainability requirements as hyperproperties
  • Oct 13, 2025
  • Acta Informatica
  • Bernd Finkbeiner + 1 more

  • Research Article
  • 10.1007/s00236-025-00505-y
On integer linear programs for treewidth based on perfect elimination orderings (extended version)
  • Aug 26, 2025
  • Acta Informatica
  • Sven Mallach

  • Research Article
  • 10.1007/s00236-025-00502-1
Gray-box runtime enforcement of hyperproperties
  • Aug 9, 2025
  • Acta Informatica
  • Tzu-Han Hsu + 4 more

  • Research Article
  • 10.1007/s00236-025-00500-3
Preserving hyperproperties of programs using primitives with consensus number 2
  • Aug 6, 2025
  • Acta Informatica
  • Hagit Attiya + 2 more

  • Research Article
  • 10.1007/s00236-025-00495-x
Novel tree-search method for synthesizing SMT strategies
  • Aug 4, 2025
  • Acta Informatica
  • Zhengyang John Lu + 6 more

  • Addendum
  • 10.1007/s00236-025-00493-z
Correction: Directed capacity-preserving subgraphs: hardness and exact polynomial algorithms
  • Jul 4, 2025
  • Acta Informatica
  • Markus Chimani + 1 more

  • Research Article
  • 10.1007/s00236-025-00494-y
The Primitive Deficiency of two Primitive Strings
  • Jun 27, 2025
  • Acta Informatica
  • Othman Echi

  • Research Article
  • 10.1007/s00236-025-00490-2
Data reduction for directed feedback vertex set on graphs without long induced cycles
  • Jun 1, 2025
  • Acta Informatica
  • Jona Dirks + 4 more

  • Research Article
  • 10.1007/s00236-025-00492-0
Exact and parameterized algorithms for choosability
  • May 30, 2025
  • Acta Informatica
  • Ivan Bliznets + 1 more

Save Icon
Up Arrow
Open/Close
  • Ask R Discovery Star icon
  • Chat PDF Star icon

AI summaries and top papers from 250M+ research sources.

Search IconWhat is the difference between bacteria and viruses?
Open In New Tab Icon
Search IconWhat is the function of the immune system?
Open In New Tab Icon
Search IconCan diabetes be passed down from one generation to the next?
Open In New Tab Icon