Cite This Page

Jump to navigation Jump to search

Bibliographic details for Burrows–Abadi–Needham logic

Citation styles for Burrows–Abadi–Needham logic

APA style

Burrows–Abadi–Needham logic. (2014, December 6). formulasearchengine. Retrieved 01:04, July 1, 2024 from https://en.formulasearchengine.com/index.php?title=Burrows%E2%80%93Abadi%E2%80%93Needham_logic&oldid=225765.

MLA style

"Burrows–Abadi–Needham logic." formulasearchengine. 6 Dec 2014, 08:00 UTC. 1 Jul 2024, 01:04 <https://en.formulasearchengine.com/index.php?title=Burrows%E2%80%93Abadi%E2%80%93Needham_logic&oldid=225765>.

MHRA style

formulasearchengine contributors, 'Burrows–Abadi–Needham logic', formulasearchengine, 6 December 2014, 08:00 UTC, <https://en.formulasearchengine.com/index.php?title=Burrows%E2%80%93Abadi%E2%80%93Needham_logic&oldid=225765> [accessed 1 July 2024]

Chicago style

formulasearchengine contributors, "Burrows–Abadi–Needham logic," formulasearchengine, https://en.formulasearchengine.com/index.php?title=Burrows%E2%80%93Abadi%E2%80%93Needham_logic&oldid=225765 (accessed July 1, 2024).

CBE/CSE style

formulasearchengine contributors. Burrows–Abadi–Needham logic [Internet]. formulasearchengine; 2014 Dec 6, 08:00 UTC [cited 2024 Jul 1]. Available from: https://en.formulasearchengine.com/index.php?title=Burrows%E2%80%93Abadi%E2%80%93Needham_logic&oldid=225765.

Bluebook style

Burrows–Abadi–Needham logic, https://en.formulasearchengine.com/index.php?title=Burrows%E2%80%93Abadi%E2%80%93Needham_logic&oldid=225765 (last visited July 1, 2024).

BibTeX entry

 @misc{ wiki:xxx,
   author = "formulasearchengine",
   title = "Burrows–Abadi–Needham logic --- formulasearchengine{,} ",
   year = "2014",
   url = "https://en.formulasearchengine.com/index.php?title=Burrows%E2%80%93Abadi%E2%80%93Needham_logic&oldid=225765",
   note = "[Online; accessed 1-July-2024]"
 }

When using the LaTeX package url (\usepackage{url} somewhere in the preamble) which tends to give much more nicely formatted web addresses, the following may be preferred: 

 @misc{ wiki:xxx,
   author = "formulasearchengine",
   title = "Burrows–Abadi–Needham logic --- formulasearchengine{,} ",
   year = "2014",
   url = "\url{https://en.formulasearchengine.com/index.php?title=Burrows%E2%80%93Abadi%E2%80%93Needham_logic&oldid=225765}",
   note = "[Online; accessed 1-July-2024]"
 }


Retrieved from "https://en.formulasearchengine.com/wiki/Special:CiteThisPage"