24
Views
4
CrossRef citations to date
0
Altmetric
Original Articles

Formalisation of the British nationality act

, , , , &
Pages 40-52 | Published online: 12 May 2010

Notes

  • Allen , L E . 1957 . ‘Symbolic Logic: A Razor‐Edged tool for Drafting and Interpreting Legal Documents’ . Yale Law J. , : 66
  • Kowalski , R A . 1979 . Logic for Problem Solving ,
  • Fuchi , K . 1983 . ‘The Direction the FGCS Project Will Take’ . New Generation Computing , I : 3 – 9 .
  • 1981 . The British Nationality Act , HMSO .
  • Hammond , P and Sergot , M . ‘A PROLOG Shell for Logic Based Expert Systems’ . Proc. 3rd BCS Expert Systems Conference .
  • Clark , K L and McCabe , F G . 1984 . micro‐PROLOG: Programming in Logic
  • Clark , K L . 1978 . “ ‘Negation as Failure’ ” . In Logic and Data Bases Edited by: Gallaire , H and Minker , J . 293 – 322 .
  • Dijkstra , E W . 1976 . A Discipline of Programming ,
  • Kowalski , R A . ‘Logic Programming’ . Proc. IFIP‐83 Congress . North‐Holland. pp. 133 – 145 .

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.