2006-04-01, English, Article, Journal or magazine article edition: Explaining Gabriel--Zisman Localization to the Computer. Simpson, Carlos

User activity

Share to:
 
Bookmark: https://trove.nla.gov.au/version/89798675
Physical Description
  • Magazine/​Journal article
Published
  • Springer, 2006 April
Language
  • English

Edition details

Title
  • Explaining Gabriel--Zisman Localization to the Computer.
Appears In
  • Journal of Automated Reasoning, v.36, no.3, 2006 April, p.259(27) (ISSN: 0168-7433)
Author
  • Simpson, Carlos
Published
  • Springer, 2006 April
Physical Description
  • Magazine/​Journal article
Subjects
Target Audience
  • Academic
Summary
  • Byline: Carlos Simpson (1) Keywords: category; functor; localization; calculus of fractions; proof assistant; computer proof verification Abstract: We explain a computer formulation of Gabriel--Zisman's localization of categories in the proof assistant Coq. This includes the general localization construction with the proof of Lemma 1.2 of Gabriel and Zisman, as well as the construction using calculus of fractions. Author Affiliation: (1) CNRS, Laboratoire J. A. Dieudonne, UMR 6621, Universite de Nice-Sophia Antipolis, 06108, Nice, Cedex 2, France Article History: Registration Date: 13/​06/​2006 Received Date: 15/​07/​2005 Accepted Date: 15/​05/​2006 Online Date: 06/​12/​2006
Terms of Use
  • COPYRIGHT 2006 Springer
Language
  • English
Database
  • Gale Academic OneFile
Identifier
  • 157263303

Get this edition

Via a library membership

Library View online via
Australian College of Physical Education. Australian College of Physical Education Library.
Australian Catholic University. Alumni Access.
Australian Catholic University.
Australian Institute of Professional Education.
Australian Lutheran College. Lohe Memorial Library.
Avondale College. Avondale College of Higher Education Sydney Campus Library.
University of Adelaide. Barr Smith Library.
Blue Mountains International Hotel Management School.
Bond University. John and Alison Kearney Library .
Campion College Australia.
Charles Darwin University. Casuarina Campus Library.
Cengage Education.
Christian Heritage College. Christian Heritage College Library.
Deakin University. Deakin University Library.
Edith Cowan University. Edith Cowan University Library.
Australian College of Natural Medicine Pty Ltd. Endeavour College of Natural Health Library.
Excelsia College. Excelsia College Library.
Kaplan Professional. Library.
Fire & Rescue NSW. FRNSW Library.
University of Notre Dame Australia. Galvin Medical Library.
Holmesglen Institute of TAFE. Holmesglen Learning Commons.
International College of Management, Sydney. ICMS Library.
Macquarie University. Macquarie University Library.
Marcus Oldham College. Sir James Darling Resource Centre.
Melbourne Library Service.
Monash University. Monash University Library.
Moore Theological College. Moore Theological College Library.
SA Mental Health Services.
Sydney Missionary and Bible College. J.T.H. Kerr Library.
South Australian Research and Development Institute. South Australian Aquatic Sciences Centre Library.
South Western Sydney Institute of TAFE.
Swinburne University of Technology. Swinburne Library.
Tabor College Victoria.
Tabor Adelaide. Tabor College Library.
The Southport School. Senior Library.
Think: Education Group. Think Education Group Learning Resource Centre.
University of New England. Dixson Library.
University of Canberra. University of Canberra Library.
University of Wollongong. University of Wollongong Library.
University of Queensland. University of Queensland Library. UQ Library Cyberschool.
Catholic Institute of Sydney. Veech Library.
Western Sydney University. Hawkesbury Campus Library.
Show 0 more libraries...
Library View online via
University of Canberra. University of Canberra Library.
Show 0 more libraries...
Library View online via
Australian College of Physical Education. Australian College of Physical Education Library.
Australian Catholic University. Alumni Access.
Australian Catholic University.
Australian Institute of Professional Education.
Avondale College. Avondale College of Higher Education Sydney Campus Library.
Blue Mountains International Hotel Management School.
Campion College Australia.
Cengage Education.
Excelsia College. Excelsia College Library.
Kaplan Professional. Library.
Fire & Rescue NSW. FRNSW Library.
International College of Management, Sydney. ICMS Library.
Macquarie University. Macquarie University Library.
Moore Theological College. Moore Theological College Library.
Sydney Missionary and Bible College. J.T.H. Kerr Library.
South Western Sydney Institute of TAFE.
Think: Education Group. Think Education Group Learning Resource Centre.
University of New England. Dixson Library.
University of Wollongong. University of Wollongong Library.
Catholic Institute of Sydney. Veech Library.
Western Sydney University. Hawkesbury Campus Library.
Show 0 more libraries...
Library View online via
Charles Darwin University. Casuarina Campus Library.
Show 0 more libraries...
Library View online via
Bond University. John and Alison Kearney Library .
Christian Heritage College. Christian Heritage College Library.
Australian College of Natural Medicine Pty Ltd. Endeavour College of Natural Health Library.
The Southport School. Senior Library.
University of Queensland. University of Queensland Library. UQ Library Cyberschool.
Show 0 more libraries...
Library View online via
Australian Lutheran College. Lohe Memorial Library.
University of Adelaide. Barr Smith Library.
SA Mental Health Services.
South Australian Research and Development Institute. South Australian Aquatic Sciences Centre Library.
Tabor Adelaide. Tabor College Library.
Show 0 more libraries...
Library View online via
Deakin University. Deakin University Library.
Holmesglen Institute of TAFE. Holmesglen Learning Commons.
Marcus Oldham College. Sir James Darling Resource Centre.
Melbourne Library Service.
Monash University. Monash University Library.
Swinburne University of Technology. Swinburne Library.
Tabor College Victoria.
Show 0 more libraries...

Published in

Some editions of the publication "Journal of automated reasoning" are available from these libraries. The edition containing this article ( v.36, no.3, 2006 April, p.259(27) ) may not be available:

None of your libraries hold this item.

These 12 locations in All:

Library Access Call number(s) Formats held Language
CSIRO. Black Mountain Library. May not be open to the public 998648520001981; BP 004.8 Jo; Vol. 2 (1986)-v. 17 (1996) (impf.) Periodical; Journal, magazine, other English
CSIRO. Floreat Library. May not be open to the public 998648520001981; ST 681.3 Jo; Vol. 5 (1989)-v. 13 (1994) Periodical; Journal, magazine, other English
Geelong Grammar School. Fisher Library. Open to the public 629.133343 KIN Book; Illustrated English
Macquarie University. Macquarie University Library. Open to the public 995617610802171; QA76.9.A96 .J68; Vol. 8 (1992)-vol. 17 (1996) Periodical; Journal, magazine, other English
Monash University. Monash University Library. Open to the public 996753901751; 006.305 JOU; v. 2, no.1 (1986) to v. 4, no. 4 (1988); Lacks v. 3, no. 1 (1987); OS; YOS-SER Periodical; Journal, magazine, other English
RMIT University. RMIT University Library. Open to the public 9910970170001341; PER 006.3 J8; Held in Storage. Request from <a href=http://www.rmit.edu.au/library/dds target=_blank>Document Delivery</a>; v. 5, no. 1 (Mar. 1989)-v. 31, no. 3/4 (2003) Periodical; Journal, magazine, other English
The University of Melbourne. The University of Melbourne Library. Open to the public En P JOUR OFAU; v.1-v.29; 1985-2002 Periodical; Journal, magazine, other English
The University of Sydney. University of Sydney Library. Open to the public Periodical; Journal, magazine, other English
University of Newcastle. University of Newcastle Library. Open to the public S006.305/5; Vol. 21-v. 27, no. 4 ; vol. 29, no. 2- vol. 30, no. 1; 1998 -Nov. 2001; 2002-Jan. 2003 Periodical; Journal, magazine, other English
University of Queensland. University of Queensland Library. Open to the public .b10920584; psep QA76.9.A96 J6 : 1(1985)-29(2002); Online access via SpringerLink journal archives : (1985-1996). Available for document delivery - restrictions apply; Online access via SpringerLink : (1997)-. Available for document delivery - restrictions apply Periodical; Journal, magazine, other English
University of Tasmania. Open to the public .b1195968x; Scien ser v1-23;1985-99 Periodical; Journal, magazine, other English
University of Western Australia. University of Western Australia Library. Open to the public 9961902302101; HELD; V. 5-29 ; 1989-2002 Periodical; Journal, magazine, other English
Show 0 more libraries...

This single location in Australian Capital Territory:

Library Access Call number(s) Formats held Language
CSIRO. Black Mountain Library. May not be open to the public 998648520001981; BP 004.8 Jo; Vol. 2 (1986)-v. 17 (1996) (impf.) Periodical; Journal, magazine, other English
Show 0 more libraries...

These 3 locations in New South Wales:

Library Access Call number(s) Formats held Language
Macquarie University. Macquarie University Library. Open to the public 995617610802171; QA76.9.A96 .J68; Vol. 8 (1992)-vol. 17 (1996) Periodical; Journal, magazine, other English
The University of Sydney. University of Sydney Library. Open to the public Periodical; Journal, magazine, other English
University of Newcastle. University of Newcastle Library. Open to the public S006.305/5; Vol. 21-v. 27, no. 4 ; vol. 29, no. 2- vol. 30, no. 1; 1998 -Nov. 2001; 2002-Jan. 2003 Periodical; Journal, magazine, other English
Show 0 more libraries...
None of your libraries hold this item.

This single location in Queensland:

Library Access Call number(s) Formats held Language
University of Queensland. University of Queensland Library. Open to the public .b10920584; psep QA76.9.A96 J6 : 1(1985)-29(2002); Online access via SpringerLink journal archives : (1985-1996). Available for document delivery - restrictions apply; Online access via SpringerLink : (1997)-. Available for document delivery - restrictions apply Periodical; Journal, magazine, other English
Show 0 more libraries...
None of your libraries hold this item.

This single location in Tasmania:

Library Access Call number(s) Formats held Language
University of Tasmania. Open to the public .b1195968x; Scien ser v1-23;1985-99 Periodical; Journal, magazine, other English
Show 0 more libraries...

These 4 locations in Victoria:

Library Access Call number(s) Formats held Language
Geelong Grammar School. Fisher Library. Open to the public 629.133343 KIN Book; Illustrated English
Monash University. Monash University Library. Open to the public 996753901751; 006.305 JOU; v. 2, no.1 (1986) to v. 4, no. 4 (1988); Lacks v. 3, no. 1 (1987); OS; YOS-SER Periodical; Journal, magazine, other English
RMIT University. RMIT University Library. Open to the public 9910970170001341; PER 006.3 J8; Held in Storage. Request from <a href=http://www.rmit.edu.au/library/dds target=_blank>Document Delivery</a>; v. 5, no. 1 (Mar. 1989)-v. 31, no. 3/4 (2003) Periodical; Journal, magazine, other English
The University of Melbourne. The University of Melbourne Library. Open to the public En P JOUR OFAU; v.1-v.29; 1985-2002 Periodical; Journal, magazine, other English
Show 0 more libraries...
None of your libraries hold this item.

User activity


e.g. test cricket, Perth (WA), "Parkes, Henry"

Separate different tags with a comma. To include a comma in your tag, surround the tag with double quotes.

Be the first to add a tag for this edition

Be the first to add this to a list

Comments and reviews

What are comments? Add a comment

No user comments or reviews for this version

Add a comment