EasyChair Smart SlideDocs/Log in
Title:A logical characterization of strictly local functions
Authors:Steven Lindell and Jane Chandlee
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
 
1
2
3
4
5
6
7
8
9
10
11
12
1of12
1
2
3
4
Copyright © 2002 – 2024 EasyChair