The computational complexity of logical theories

書誌事項

The computational complexity of logical theories

Jeanne Ferrante, Charles W. Rackoff

(Lecture notes in mathematics, 718)

Springer-Verlag, 1979

  • : Berlin
  • : New York

大学図書館所蔵 件 / 81

この図書・雑誌をさがす

注記

Bibliography: p. [234]-238

Includes index

内容説明・目次

巻冊次

: New York ISBN 9780387095011

内容説明

The book will synthesize and integrate better what are often disparate ideas, themes, and methods across substantive areas of white-collar crime and criminology and criminal justice. The book also puts together critical and emerging topics within criminology and criminal justice that have important implications for the study of white-collar crime and criminology/criminal justice more generally.

目次

Theoretical Perspectives on Crime.- Understanding "Criminogenic" Corporate Culture: What White-Collar Crime Researchers Can Learn from Studies of the Adolescent Employment-Crime Relationship.- General Strain Theory and White-Collar Crime.- Emergent Themes and Methodological Issues.- Persistent Heterogeneity or State Dependence? An Analysis of Occupational Safety and Health Act Violations.- White-Collar Crimes and the Fear of Crime: A Review.- The Role of Organizational Structure in the Control of Corporate Crime and Terrorism.- Globalization and White-Collar Crime.- Developmental Trajectories of White-Collar Crime.- Crime Prevention and Control.- White-Collar Crime from an Opportunity Perspective.- Self-Regulatory Approaches to White-Collar Crime: The Importance of Legitimacy and Procedural Justice.
巻冊次

: Berlin ISBN 9783540095019

目次

and background.- Ehrenfeucht games and decision procedures.- Integer addition - An example of an Ehrenfeucht game decision procedure.- Some additional upper bounds.- Direct products of theories.- Lower bound preliminaries.- A technique for writing short formulas defining complicated properties.- A lower bound on the theories of pairing functions.- Some additional lower bounds.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ