Anil Nerode and Richard A. Shore. Logic for applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xvii + 365 pp

Saved in:
Bibliographic Details
Published in:The Journal of symbolic logic 1999-03, Vol.64 (1), p.404-405
Main Author: Bacchus, Fahiem
Format: Article
Language:English
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 405
container_issue 1
container_start_page 404
container_title The Journal of symbolic logic
container_volume 64
creator Bacchus, Fahiem
description
doi_str_mv 10.2307/2586779
format article
fullrecord <record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_2307_2586779</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_2307_2586779</sourcerecordid><originalsourceid>FETCH-crossref_primary_10_2307_25867793</originalsourceid><addsrcrecordid>eNqNUMtKw0AUHUTB-MBfuDsXJnGSNK9llUoX4sIWwVUYJ7fJ1XRmuBO1_pMfaZR-gKsD5wlHiItExmkmy-s0r4qyrA9EkNSzLMqrqjgUgZRpGs2qJD0WJ96_SinzelYF4ntuaIAHZNsiKNPCI-lecQvzGFa9ZYzh3nakYWMZlHMDaTWSNT6GNe5G_5fZWmM7Vq73QAa03br3ERm8JjR6alg5JtMhR0_Ig-rCae8Tni2_hXAzMWRCWCK1OLwgTyqOOg4hqesshN0HEVxBVuTg3Jk42qjB4_keT8Xl3WJ9u4w0W-8ZN800tFX81SSy-T2j2Z-R_d_5A_HZYgg</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Anil Nerode and Richard A. Shore. Logic for applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xvii + 365 pp</title><source>JSTOR</source><creator>Bacchus, Fahiem</creator><creatorcontrib>Bacchus, Fahiem</creatorcontrib><identifier>ISSN: 0022-4812</identifier><identifier>EISSN: 1943-5886</identifier><identifier>DOI: 10.2307/2586779</identifier><language>eng</language><ispartof>The Journal of symbolic logic, 1999-03, Vol.64 (1), p.404-405</ispartof><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27901,27902</link.rule.ids></links><search><creatorcontrib>Bacchus, Fahiem</creatorcontrib><title>Anil Nerode and Richard A. Shore. Logic for applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xvii + 365 pp</title><title>The Journal of symbolic logic</title><issn>0022-4812</issn><issn>1943-5886</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1999</creationdate><recordtype>article</recordtype><recordid>eNqNUMtKw0AUHUTB-MBfuDsXJnGSNK9llUoX4sIWwVUYJ7fJ1XRmuBO1_pMfaZR-gKsD5wlHiItExmkmy-s0r4qyrA9EkNSzLMqrqjgUgZRpGs2qJD0WJ96_SinzelYF4ntuaIAHZNsiKNPCI-lecQvzGFa9ZYzh3nakYWMZlHMDaTWSNT6GNe5G_5fZWmM7Vq73QAa03br3ERm8JjR6alg5JtMhR0_Ig-rCae8Tni2_hXAzMWRCWCK1OLwgTyqOOg4hqesshN0HEVxBVuTg3Jk42qjB4_keT8Xl3WJ9u4w0W-8ZN800tFX81SSy-T2j2Z-R_d_5A_HZYgg</recordid><startdate>199903</startdate><enddate>199903</enddate><creator>Bacchus, Fahiem</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>199903</creationdate><title>Anil Nerode and Richard A. Shore. Logic for applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xvii + 365 pp</title><author>Bacchus, Fahiem</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-crossref_primary_10_2307_25867793</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1999</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Bacchus, Fahiem</creatorcontrib><collection>CrossRef</collection><jtitle>The Journal of symbolic logic</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Bacchus, Fahiem</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Anil Nerode and Richard A. Shore. Logic for applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xvii + 365 pp</atitle><jtitle>The Journal of symbolic logic</jtitle><date>1999-03</date><risdate>1999</risdate><volume>64</volume><issue>1</issue><spage>404</spage><epage>405</epage><pages>404-405</pages><issn>0022-4812</issn><eissn>1943-5886</eissn><doi>10.2307/2586779</doi></addata></record>
fulltext fulltext
identifier ISSN: 0022-4812
ispartof The Journal of symbolic logic, 1999-03, Vol.64 (1), p.404-405
issn 0022-4812
1943-5886
language eng
recordid cdi_crossref_primary_10_2307_2586779
source JSTOR
title Anil Nerode and Richard A. Shore. Logic for applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xvii + 365 pp
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-23T23%3A56%3A01IST&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=Anil%20Nerode%20and%20Richard%20A.%20Shore.%20Logic%20for%20applications.%20Texts%20and%20monographs%20in%20computer%20science.%20Springer-Verlag,%20New%20York,%20Berlin,%20Heidelberg,%20etc.,%201993,%20xvii%20+%20365%20pp&rft.jtitle=The%20Journal%20of%20symbolic%20logic&rft.au=Bacchus,%20Fahiem&rft.date=1999-03&rft.volume=64&rft.issue=1&rft.spage=404&rft.epage=405&rft.pages=404-405&rft.issn=0022-4812&rft.eissn=1943-5886&rft_id=info:doi/10.2307/2586779&rft_dat=%3Ccrossref%3E10_2307_2586779%3C/crossref%3E%3Cgrp_id%3Ecdi_FETCH-crossref_primary_10_2307_25867793%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