Abstract: This paper presents an approach to the specification of visual language syntax. Based on attributed graphs as the notion of abstract syntax, syntactical correctness is specified by a set of ...
Perry contends that an utterance of (1) ‘It is raining’ must be assigned a location before being truth assessed. The location is famously argued to be an unarticulated constituent of the proposition ...
Abstract: We introduce a unifying framework for proving that predicate P is hard-core for a one-way function f, and apply it to a broad family of functions and predicates, reproving old results in an ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback