| CARVIEW |
Select Language
HTTP/2 200
date: Wed, 04 Feb 2026 07:57:39 GMT
content-type: application/json
content-length: 2522
access-control-expose-headers: Link
access-control-allow-headers: X-Requested-With, Accept, Accept-Encoding, Accept-Charset, Accept-Language, Accept-Ranges, Cache-Control
access-control-allow-origin: *
vary: Accept-Encoding
content-encoding: gzip
server: Jetty(9.4.40.v20210413)
x-rate-limit: 5
x-rate-limit-interval: 1s
x-concurrency-limit: 1
x-api-pool: public
permissions-policy: interest-cohort=()
{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T14:29:34Z","timestamp":1673360974206},"reference-count":25,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2014,3,1]],"date-time":"2014-03-01T00:00:00Z","timestamp":1393632000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2019,12,16]],"date-time":"2019-12-16T00:00:00Z","timestamp":1576454400000},"content-version":"vor","delay-in-days":2116,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Logical and Algebraic Methods in Programming"],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1016\/j.jlap.2014.02.001","type":"journal-article","created":{"date-parts":[[2014,2,12]],"date-time":"2014-02-12T08:45:22Z","timestamp":1392194722000},"page":"87-102","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":6,"title":["Programming and automating mathematics in the Tarski\u2013Kleene hierarchy"],"prefix":"10.1016","volume":"83","author":[{"given":"Alasdair","family":"Armstrong","sequence":"first","affiliation":[]},{"given":"Georg","family":"Struth","sequence":"additional","affiliation":[]},{"given":"Tjark","family":"Weber","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jlap.2014.02.001_br0010","series-title":"Computer Algebra in Scientific Computing","first-page":"40","article-title":"Relview \u2013 an OBDD-based computer algebra system for relations","volume":"vol. 3718","author":"Berghammer","year":"2005"},{"key":"10.1016\/j.jlap.2014.02.001_br0020","series-title":"Relational and Algebraic Methods in Computer Science","first-page":"178","article-title":"Calculational relation-algebraic proofs in Isabelle\/Isar","volume":"vol. 3051","author":"Kahl","year":"2004"},{"key":"10.1016\/j.jlap.2014.02.001_br0030","author":"Armstrong"},{"key":"10.1016\/j.jlap.2014.02.001_br0040","author":"Armstrong"},{"key":"10.1016\/j.jlap.2014.02.001_br0050","series-title":"JELIA '90","first-page":"97","article-title":"Action logic and pure induction","volume":"vol. 478","author":"Pratt","year":"1991"},{"key":"10.1016\/j.jlap.2014.02.001_br0060","series-title":"RAMICS 2011","first-page":"52","article-title":"Automated engineering of relational and algebraic methods in Isabelle\/HOL","volume":"vol. 6663","author":"Foster","year":"2011"},{"key":"10.1016\/j.jlap.2014.02.001_br0070","series-title":"Relationen und Graphen","author":"Schmidt","year":"1987"},{"key":"10.1016\/j.jlap.2014.02.001_br0080","series-title":"Relational Mathematics","author":"Schmidt","year":"2011"},{"key":"10.1016\/j.jlap.2014.02.001_br0090","series-title":"Relation Algebras","author":"Maddux","year":"2006"},{"key":"10.1016\/j.jlap.2014.02.001_br0100","series-title":"Isabelle\/Isar\u2014a versatile environment for human-readable formal proof documents","author":"Wenzel","year":"2002"},{"key":"10.1016\/j.jlap.2014.02.001_br0110","series-title":"Graphs, Dioids and Semirings: New Models and Algorithms","author":"Gondran","year":"2010"},{"key":"10.1016\/j.jlap.2014.02.001_br0120","series-title":"TYPES 2006","first-page":"160","article-title":"Constructive type classes in Isabelle","volume":"vol. 4502","author":"Haftmann","year":"2007"},{"key":"10.1016\/j.jlap.2014.02.001_br0130","series-title":"FroCoS 2011","first-page":"12","article-title":"Automatic proof and disproof in Isabelle\/HOL","volume":"vol. 6989","author":"Blanchette","year":"2011"},{"key":"10.1016\/j.jlap.2014.02.001_br0140","series-title":"MFCS 1990","first-page":"26","article-title":"On Kleene algebras and closed semirings","volume":"vol. 452","author":"Kozen","year":"1990"},{"key":"10.1016\/j.jlap.2014.02.001_br0150","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/s10817-011-9223-4","article-title":"Proof pearl: Regular expression equivalence and relation algebra","volume":"49","author":"Krauss","year":"2012","journal-title":"J. Autom. Reason."},{"key":"10.1016\/j.jlap.2014.02.001_br0160","series-title":"SAC 2011","first-page":"1639","article-title":"Quotients revisited for Isabelle\/HOL","author":"Kaliszyk","year":"2011"},{"key":"10.1016\/j.jlap.2014.02.001_br0170","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1006\/inco.1994.1037","article-title":"A completeness theorem for Kleene algebras and the algebra of regular events","volume":"110","author":"Kozen","year":"1994","journal-title":"Inf. Comput."},{"key":"10.1016\/j.jlap.2014.02.001_br0180","series-title":"ITP 2010","first-page":"163","article-title":"An efficient Coq tactic for deciding Kleene algebras","volume":"vol. 6172","author":"Braibant","year":"2010"},{"key":"10.1016\/j.jlap.2014.02.001_br0190","doi-asserted-by":"crossref","first-page":"794","DOI":"10.1016\/j.jlap.2010.07.016","article-title":"Algebraic notions of nontermination: Omega and divergence in idempotent semirings","volume":"79","author":"H\u00f6fner","year":"2010","journal-title":"J. Log. Algebr. Program."},{"key":"10.1016\/j.jlap.2014.02.001_br0200","series-title":"Rational Series and Their Languages","author":"Berstel","year":"1988"},{"key":"10.1016\/j.jlap.2014.02.001_br0210","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/s10817-010-9195-9","article-title":"Formal power series","volume":"47","author":"Chaieb","year":"2011","journal-title":"J. Autom. Reason."},{"key":"10.1016\/j.jlap.2014.02.001_br0220","series-title":"IJCAR 2008","first-page":"50","article-title":"On automating the calculus of relations","volume":"vol. 5195","author":"H\u00f6fner","year":"2008"},{"key":"10.1016\/j.jlap.2014.02.001_br0230","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","article-title":"Boolean algebras with operators, part 1","volume":"73","author":"J\u00f3nsson","year":"1951","journal-title":"Am. J. Math."},{"key":"10.1016\/j.jlap.2014.02.001_br0240","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","article-title":"Boolean algebras with operators, part 2","volume":"74","author":"J\u00f3nsson","year":"1952","journal-title":"Am. J. Math."},{"key":"10.1016\/j.jlap.2014.02.001_br0250","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/j.scico.2010.05.007","article-title":"Internal axioms for domain semirings","volume":"76","author":"Desharnais","year":"2011","journal-title":"Sci. Comput. Program."}],"container-title":["Journal of Logical and Algebraic Methods in Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1567832614000022?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1567832614000022?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,12,16]],"date-time":"2019-12-16T03:45:34Z","timestamp":1576467934000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1567832614000022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,3]]}},"alternative-id":["S1567832614000022"],"URL":"https:\/\/doi.org\/10.1016\/j.jlap.2014.02.001","relation":{},"ISSN":["2352-2208"],"issn-type":[{"value":"2352-2208","type":"print"}],"subject":[],"published":{"date-parts":[[2014,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Programming and automating mathematics in the Tarski\u2013Kleene hierarchy","name":"articletitle","label":"Article Title"},{"value":"Journal of Logical and Algebraic Methods in Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jlap.2014.02.001","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2014 Elsevier Inc. All rights reserved.","name":"copyright","label":"Copyright"}]}}