| ||||
| ||||
![]() Title:A logical characterization of strictly local functions Conference:NLCS'16 Tags:descriptive complexity, quantifier free interpretations and strictly local functions Abstract: We characterize the input strictly local functions of Chandlee by quantifier-free logical interpretations over strings with adjacency. A logical characterization of strictly local functions ![]() A logical characterization of strictly local functions | ||||
Copyright © 2002 – 2025 EasyChair |