Searching for authors named "Scott Weinstein" – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
Logic in the Finite
- … as their edge relation is first order definable (see Dawar, Doets, Lindell, & Weinstein (1998)). In Section 6…
- Add To MetaCart
-
Specifying and Reasoning about Workflows with Path Constraints
- … of � Supported in part by Temple University. y Supported by NSF Grant CCR�9403447. 1 Scott Weinstein y University…
- Cited by 1 (0 self) – Add To MetaCart
-
Algorithmic Analysis of Array-Accessing Programs
- …Algorithmic Analysis of Array-Accessing Programs Rajeev Alur Pavol Čern´y Scott Weinstein…
- Cited by 1 (0 self) – Add To MetaCart
-
Preservation Theorems in Finite Model Theory
- … and Computational Complexity, Springer-Verlag) by Eric Rosen Scott Weinstein Preservation Theorems in Finite Model…
- Cited by 10 (2 self) – Add To MetaCart
-
k-Universal Finite Graphs
- … Weinstein k-Universal Finite Graphs Eric Rosen, Saharon Shelah, and Scott Weinstein Abstract. This paper…
- Cited by 2 (0 self) – Add To MetaCart
-
Path Constraints on Deterministic Graphs
- … y wfan@(email omitted); Scott Weinstein z weinstein@(email omitted); Department of Computer…
- Cited by 6 (1 self) – Add To MetaCart
-
Some Undecidable Implication Problems for Path Constraints
- …@(email omitted); Wenfei Fan y wfan@(email omitted); Scott Weinstein z weinstein@(email omitted); Department…
- Cited by 4 (4 self) – Add To MetaCart
-
The Decidability of Some Restricted Implication Problems for Path Constraints
- … peter@(email omitted); Wenfei Fan y wfan@(email omitted); Scott Weinstein z weinstein…
- Cited by 4 (4 self) – Add To MetaCart
-
Path Constraints in the Presence of Types
- … y wfan@(email omitted); Scott Weinstein z weinstein@(email omitted); Department of Computer…
- Cited by 1 (1 self) – Add To MetaCart
-
Constraints for Semistructured Data and XML
- …@(email omitted); Scott Weinstein University of Pennsylvania weinstein@(email omitted); Abstract Integrity constraints play…
- Cited by 22 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
