E-LIB Suche - Ergebnisse für: Snyder, Wayne

1

Fast algorithms for uniform semi-unification:

Oliart, Alberto ; Snyder, Wayne
Journal of Symbolic Computation. 37 (2004) 4 - p. 455-484 , 2004

Link: https://doi.org/10.1016/..

2

Unification Theory:

, In: Handbook of Automated Reasoning,

Baader, Franz ; Snyder, Wayne ; Narendran, Paliath.. - p. 445-533 , 2001

Link: https://doi.org/10.1016/..

3

Les inégalités de revenus en France du début du XVIIIe sièc..:

Morrisson, Christian ; Snyder, Wayne
Revue économique. 51 (2000) 1 - p. 119-154 , 2000

Link: https://www.jstor.org/st..

4

The income inequality of France in historical perspective:

MORRISSON, CHRISTIAN ; SNYDER, WAYNE
European Review of Economic History. 4 (2000) 1 - p. 59-83 , 2000

Link: https://www.jstor.org/st..

5

How Guide Books Affect Restaurant Behavior:

Cotter, Michael ; Snyder, Wayne
Journal of Restaurant & Foodservice Marketing. 3 (1998) 1 - p. 69-75 , 1998

Link: https://doi.org/10.1300/..

6

The Michelin Guide and Restaurant Pricing Strategies:

Snyder, Wayne ; Cotter, Michael
Journal of Restaurant & Foodservice Marketing. 3 (1998) 1 - p. 51-67 , 1998

Link: https://doi.org/10.1300/..

7

The Quality of Life in Historical Perspective France: 1695-..:

Ostroot, Nathalie ; Snyder, Wayne
Social Indicators Research. 38 (1996) 2 - p. 109-128 , 1996

Link: https://www.jstor.org/st..

8

The quality of life in historical perspective France: 1695?..:

Ostroot, Nathalie ; Snyder, Wayne
Social Indicators Research. 38 (1996) 2 - p. 109-128 , 1996

Link: https://doi.org/10.1007/..

9

Book review:

Snyder, Wayne
Social Indicators Research. 37 (1996) 1 - p. 107-110 , 1996

Link: https://doi.org/10.1007/..

10

Redundancy criteria for constrained completion:

Lynch, Christopher ; Snyder, Wayne
Theoretical Computer Science. 142 (1995) 2 - p. 141-177 , 1995

Link: https://doi.org/10.1016/..

11

The Sources of Social Power. Vol. 2: The Rise of Classes An..:

Snyder, Wayne
The Journal of Economic History. 55 (1995) 1 - p. 167-169 , 1995

Link: https://doi.org/10.1017/..

12

Taxation in Niger: Problems and proposals:

Barlow, Robin ; Snyder, Wayne
World Development. 21 (1993) 7 - p. 1179-1189 , 1993

Link: https://doi.org/10.1016/..

13

A Fast Algorithm for Generating Reduced Ground Rewriting Sy..:

Snyder, Wayne
Journal of Symbolic Computation. 15 (1993) 4 - p. 415-450 , 1993

Link: https://doi.org/10.1006/..

14

On the complexity of recursive path orderings:

Snyder, Wayne
Information Processing Letters. 46 (1993) 5 - p. 257-262 , 1993

Link: https://doi.org/10.1016/..

15

An algorithm for finding canonical sets of ground rewrite r..:

Gallier, Jean ; Narendran, Paliath ; Plaisted, David..
Journal of the ACM. 40 (1993) 1 - p. 1-16 , 1993

Link: https://doi.org/10.1145/..