search result

Cover von Reachability in Deletion-Only Chemical Reaction Networks

Reachability in Deletion-Only Chemical Reaction Networks

Year: 2025
Media group: LIPIcs
Cover von Brief Announcement

Brief Announcement

Reachability in Deletion-Only Chemical Reaction Networks
Year: 2025
Media group: LIPIcs
Cover von Hardness of Traversing Gadget Systems with Small Bandwidth

Hardness of Traversing Gadget Systems with Small Bandwidth

Year: 2025
Media group: LIPIcs
Cover von Complexity of Reconfiguration in Surface Chemical Reaction Networks

Complexity of Reconfiguration in Surface Chemical Reaction Networks

Year: 2023
Media group: LIPIcs
Cover von Unique Assembly Verification in Two-Handed Self-Assembly

Unique Assembly Verification in Two-Handed Self-Assembly

Year: 2022
Media group: LIPIcs
Cover von Complexity of Verification in Self-Assembly with Prebuilt Assemblies

Complexity of Verification in Self-Assembly with Prebuilt Assemblies

Year: 2022
Media group: LIPIcs
Cover von Covert Computation in Staged Self-Assembly

Covert Computation in Staged Self-Assembly

Verification Is PSPACE-Complete
Year: 2021
Media group: LIPIcs
Cover von Easier Ways to Prove Counting Hard

Easier Ways to Prove Counting Hard

A Dichotomy for Generalized #SAT, Applied to Constraint Graphs
Author: Hecher, Markus; Stock, Frederick; Zhou, Zixiang
Year: 2024
Media group: LIPIcs
Cover von Complexity of Motion Planning of Arbitrarily Many Robots

Complexity of Motion Planning of Arbitrarily Many Robots

Gadgets, Petri Nets, and Counter Machines
Author: Hendrickson, Dylan H.; Lynch, Jayson
Year: 2023
Media group: LIPIcs
Cover von Verification and Computation in Restricted Tile Automata

Verification and Computation in Restricted Tile Automata

Year: 2020
Media group: LIPIcs
OPEN V 11.1.0.0