Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications: Extended Abstract: Iteration in ACL2, WITH .. DO

Saved in:
Bibliographic Details
Published in:Electronic proceedings in theoretical computer science 2022-05, Vol.359, p.5-8
Main Authors: Kaufmann, Matt, Moore, J Strother
Format: Article
Language:English
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites cdi_FETCH-crossref_primary_10_4204_EPTCS_359_23
container_end_page 8
container_issue
container_start_page 5
container_title Electronic proceedings in theoretical computer science
container_volume 359
creator Kaufmann, Matt
Moore, J Strother
description
doi_str_mv 10.4204/EPTCS.359.2
format article
fullrecord <record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_4204_EPTCS_359_2</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_4204_EPTCS_359_2</sourcerecordid><originalsourceid>FETCH-crossref_primary_10_4204_EPTCS_359_23</originalsourceid><addsrcrecordid>eNqVj0GLwjAQhYMoKK4n_8DcF2uaVtcepbgo7EGw4M0Q6miz1qTMFGH__Ubx4NUHj_cObwY-IcaxjFIl0-lqW-S7KJllkeqIgZJfs4mKF7L70vtixPwrg5JMpdl8IA5b8iXi0bozww5v6FoMrmATCjnTWu9MDXtPF658A95BWyEs8x8FRYWe8ArhxQ0JjDuCbRmWTVPb8nHJH6J3MjXj6JlD8fm9KvL1pCTPTHjSDdmroT8dS32n0A8KHSi0St5b_wPPB08l</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications: Extended Abstract: Iteration in ACL2, WITH .. DO</title><source>ROAD: Directory of Open Access Scholarly Resources</source><creator>Kaufmann, Matt ; Moore, J Strother</creator><creatorcontrib>Kaufmann, Matt ; Moore, J Strother</creatorcontrib><identifier>ISSN: 2075-2180</identifier><identifier>EISSN: 2075-2180</identifier><identifier>DOI: 10.4204/EPTCS.359.2</identifier><language>eng</language><ispartof>Electronic proceedings in theoretical computer science, 2022-05, Vol.359, p.5-8</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-crossref_primary_10_4204_EPTCS_359_23</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><creatorcontrib>Kaufmann, Matt</creatorcontrib><creatorcontrib>Moore, J Strother</creatorcontrib><title>Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications: Extended Abstract: Iteration in ACL2, WITH .. DO</title><title>Electronic proceedings in theoretical computer science</title><issn>2075-2180</issn><issn>2075-2180</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2022</creationdate><recordtype>article</recordtype><recordid>eNqVj0GLwjAQhYMoKK4n_8DcF2uaVtcepbgo7EGw4M0Q6miz1qTMFGH__Ubx4NUHj_cObwY-IcaxjFIl0-lqW-S7KJllkeqIgZJfs4mKF7L70vtixPwrg5JMpdl8IA5b8iXi0bozww5v6FoMrmATCjnTWu9MDXtPF658A95BWyEs8x8FRYWe8ArhxQ0JjDuCbRmWTVPb8nHJH6J3MjXj6JlD8fm9KvL1pCTPTHjSDdmroT8dS32n0A8KHSi0St5b_wPPB08l</recordid><startdate>20220524</startdate><enddate>20220524</enddate><creator>Kaufmann, Matt</creator><creator>Moore, J Strother</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20220524</creationdate><title>Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications</title><author>Kaufmann, Matt ; Moore, J Strother</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-crossref_primary_10_4204_EPTCS_359_23</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2022</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Kaufmann, Matt</creatorcontrib><creatorcontrib>Moore, J Strother</creatorcontrib><collection>CrossRef</collection><jtitle>Electronic proceedings in theoretical computer science</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Kaufmann, Matt</au><au>Moore, J Strother</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications: Extended Abstract: Iteration in ACL2, WITH .. DO</atitle><jtitle>Electronic proceedings in theoretical computer science</jtitle><date>2022-05-24</date><risdate>2022</risdate><volume>359</volume><spage>5</spage><epage>8</epage><pages>5-8</pages><issn>2075-2180</issn><eissn>2075-2180</eissn><doi>10.4204/EPTCS.359.2</doi></addata></record>
fulltext fulltext
identifier ISSN: 2075-2180
ispartof Electronic proceedings in theoretical computer science, 2022-05, Vol.359, p.5-8
issn 2075-2180
2075-2180
language eng
recordid cdi_crossref_primary_10_4204_EPTCS_359_2
source ROAD: Directory of Open Access Scholarly Resources
title Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications: Extended Abstract: Iteration in ACL2, WITH .. DO
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-26T16%3A28%3A53IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Proceedings%20Seventeenth%20International%20Workshop%20on%20the%20ACL2%20Theorem%20Prover%20and%20its%20Applications:%20Extended%20Abstract:%20Iteration%20in%20ACL2,%20WITH%20..%20DO&rft.jtitle=Electronic%20proceedings%20in%20theoretical%20computer%20science&rft.au=Kaufmann,%20Matt&rft.date=2022-05-24&rft.volume=359&rft.spage=5&rft.epage=8&rft.pages=5-8&rft.issn=2075-2180&rft.eissn=2075-2180&rft_id=info:doi/10.4204/EPTCS.359.2&rft_dat=%3Ccrossref%3E10_4204_EPTCS_359_2%3C/crossref%3E%3Cgrp_id%3Ecdi_FETCH-crossref_primary_10_4204_EPTCS_359_23%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true