No Cover Image

Journal article 23487 views

Abstract computability and algebraic specification

J. V Tucker, J. I Zucker, John Tucker Orcid Logo

ACM Transactions on Computational Logic, Volume: 3, Issue: 2, Start page: 279

Swansea University Author: John Tucker Orcid Logo

Full text not available from this repository: check for access using links below.

Check full text

DOI (Published version): 10.1145/505372.505375

Published in: ACM Transactions on Computational Logic
ISSN: 1529-3785
Published: 2002
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa1734
first_indexed 2013-07-23T11:48:14Z
last_indexed 2018-02-09T04:29:16Z
id cronfa1734
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2013-10-17T15:58:23.7807369</datestamp><bib-version>v2</bib-version><id>1734</id><entry>2011-10-01</entry><title>Abstract computability and algebraic specification</title><swanseaauthors><author><sid>431b3060563ed44cc68c7056ece2f85e</sid><ORCID>0000-0003-4689-8760</ORCID><firstname>John</firstname><surname>Tucker</surname><name>John Tucker</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2011-10-01</date><deptcode>MACS</deptcode><abstract></abstract><type>Journal Article</type><journal>ACM Transactions on Computational Logic</journal><volume>3</volume><journalNumber>2</journalNumber><paginationStart>279</paginationStart><paginationEnd/><publisher/><placeOfPublication/><issnPrint>1529-3785</issnPrint><issnElectronic/><keywords/><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2002</publishedYear><publishedDate>2002-12-31</publishedDate><doi>10.1145/505372.505375</doi><url/><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2013-10-17T15:58:23.7807369</lastEdited><Created>2011-10-01T00:00:00.0000000</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>J. V</firstname><surname>Tucker</surname><order>1</order></author><author><firstname>J. I</firstname><surname>Zucker</surname><order>2</order></author><author><firstname>John</firstname><surname>Tucker</surname><orcid>0000-0003-4689-8760</orcid><order>3</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2013-10-17T15:58:23.7807369 v2 1734 2011-10-01 Abstract computability and algebraic specification 431b3060563ed44cc68c7056ece2f85e 0000-0003-4689-8760 John Tucker John Tucker true false 2011-10-01 MACS Journal Article ACM Transactions on Computational Logic 3 2 279 1529-3785 31 12 2002 2002-12-31 10.1145/505372.505375 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2013-10-17T15:58:23.7807369 2011-10-01T00:00:00.0000000 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science J. V Tucker 1 J. I Zucker 2 John Tucker 0000-0003-4689-8760 3
title Abstract computability and algebraic specification
spellingShingle Abstract computability and algebraic specification
John Tucker
title_short Abstract computability and algebraic specification
title_full Abstract computability and algebraic specification
title_fullStr Abstract computability and algebraic specification
title_full_unstemmed Abstract computability and algebraic specification
title_sort Abstract computability and algebraic specification
author_id_str_mv 431b3060563ed44cc68c7056ece2f85e
author_id_fullname_str_mv 431b3060563ed44cc68c7056ece2f85e_***_John Tucker
author John Tucker
author2 J. V Tucker
J. I Zucker
John Tucker
format Journal article
container_title ACM Transactions on Computational Logic
container_volume 3
container_issue 2
container_start_page 279
publishDate 2002
institution Swansea University
issn 1529-3785
doi_str_mv 10.1145/505372.505375
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 0
active_str 0
published_date 2002-12-31T06:04:56Z
_version_ 1821293776147054592
score 10.985343

Similar Items