Regulatory conformance checking : logic and logical form

Author(s)

• Dinesh, Nikhil

Bibliographic Information

Regulatory conformance checking : logic and logical form

Nikhil Dinesh

UMI Dissertation Pub. , ProQuest LLC, c2011

Note

Reprint of the author's thesis (Ph. D.)--University of Pennsylvania, 2010

Bibliography: p. 235-249

UMI no.: 3447557

Details

• NCID: BB11908888
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: [Ann Arbor, Mich.],Ann Arbor, Mich.
• Pages/Volumes: xv, 249 p.
• Size: 29 cm
• Subject Headings:
  • FREE : modal logic
  • FREE : access control
  • FREE : conformance
  • FREE : deontic logic
  • FREE : logical form
  • FREE : scope
  • FREE : Logic and foundations of mathematics
  • FREE : Other Computer Engineering
  • FREE : Semantics and Pragmatics
  • FREE : text