Deniz DUMAN

Exact Semantic Carriers for Structured Physical Systems

Exact search states may be individuated by syntactic history or by a smaller carrier preserving exact continuation semantics. We give a sufficient traversal criterion for deterministic polynomial-time computation: exact semantic factorization, a polynomially bounded reachable car...

Exact Semantic Carriers for Structured Physical Systems

Exact search states may be individuated by syntactic history or by a smaller carrier preserving exact continuation semantics. We give a sufficient traversal criterion for deterministic polynomial-time computation: exact semantic factorization, a polynomially bounded reachable car...