This HTML5 document contains 86 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n9https://www.springer.com/computer/theoretical+computer+science/journal/
dcthttp://purl.org/dc/terms/
n13http://www.brics.dk/~hosc/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n6http://springerlink.metapress.com/content/1573-0557/
n18https://global.dbpedia.org/id/
n20https://dblp.org/streams/journals/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n15http://liinwww.ira.uka.de/bibliography/Ai/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Carolyn_Talcott
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:List_of_computer_science_journals
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:Peter_Landin
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:International_Conference_on_Functional_Programming
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:LISP_&_Symbolic_Computation
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
dbo:wikiPageRedirects
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:Fundamental_Concepts_in_Programming_Languages
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:Harry_Mairson
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:Programming_language_theory
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:Journal_of_Functional_Programming
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:Journal_of_Symbolic_Computation
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:Higher-Order_and_Symbolic_Computation
rdf:type
dbo:AcademicJournal
rdfs:label
Higher-Order and Symbolic Computation
rdfs:comment
Higher-Order and Symbolic Computation (formerly LISP and Symbolic Computation; print: ISSN 1388-3690, online: ISSN 1573-0557) was a computer science journal published by Springer Science+Business Media. It focuses on programming concepts and abstractions and programming language theory. The final issue appeared in 2013.
foaf:homepage
n9:10990
dct:subject
dbc:Computer_science_journals dbc:Springer_Science+Business_Media_academic_journals
dbo:wikiPageID
31878704
dbo:wikiPageRevisionID
1106363778
dbo:wikiPageWikiLink
dbr:Zentralblatt_MATH dbr:Current_Abstracts dbr:Editor-in-chief dbr:Carolyn_Talcott dbr:Computer_science dbr:EBSCO_Industries dbr:Serials_Solutions dbc:Computer_science_journals dbr:Scopus dbr:Io-port.net dbr:Academic_journal dbr:Journal_of_Symbolic_Computation dbr:Programming_language_theory dbr:Richard_P._Gabriel dbr:VINITI_Database_RAS dbr:Sun_Microsystems,_Inc. dbr:EI-Compendex dbr:Robert_R._Kessler dbr:SRI_International dbr:Computer_Science_Index dbr:Association_for_Computing_Machinery dbr:DBLP dbr:ACM_Computing_Reviews dbr:University_of_Utah dbr:Journal_of_Functional_Programming dbr:Guy_L._Steele,_Jr. dbr:Olivier_Danvy dbr:Springer_Science+Business_Media dbr:InfoTrac dbr:Aarhus_University dbr:Journal_of_Functional_and_Logic_Programming dbr:Computer_Abstracts_International_Database dbc:Springer_Science+Business_Media_academic_journals dbr:PASCAL_(database) dbr:Inspec
dbo:wikiPageExternalLink
n6: n9:10990 n13: n15:higherordersymbcomput.html n20:lisp
owl:sameAs
freebase:m.0gvvjg1 wikidata:Q5757942 n18:4mR8Z
dbp:wikiPageUsesTemplate
dbt:ISSN dbt:Short_description dbt:Italic_title dbt:Official
dbo:abstract
Higher-Order and Symbolic Computation (formerly LISP and Symbolic Computation; print: ISSN 1388-3690, online: ISSN 1573-0557) was a computer science journal published by Springer Science+Business Media. It focuses on programming concepts and abstractions and programming language theory. The final issue appeared in 2013.
gold:hypernym
dbr:Journal
prov:wasDerivedFrom
wikipedia-en:Higher-Order_and_Symbolic_Computation?oldid=1106363778&ns=0
dbo:wikiPageLength
2157
foaf:isPrimaryTopicOf
wikipedia-en:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:J_operator
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:Value_(computer_science)
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:Higher-Order_&_Symbolic_Computation
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
dbo:wikiPageRedirects
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:Higher-order_&_Symbolic_Computation
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
dbo:wikiPageRedirects
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:Higher-order_and_Symbolic_Computation
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
dbo:wikiPageRedirects
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:Lisp_&_Symbolic_Computation
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
dbo:wikiPageRedirects
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:LISP_and_Symbolic_Computation
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
dbo:wikiPageRedirects
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
dbr:Lisp_and_Symbolic_Computation
dbo:wikiPageWikiLink
dbr:Higher-Order_and_Symbolic_Computation
dbo:wikiPageRedirects
dbr:Higher-Order_and_Symbolic_Computation
Subject Item
wikipedia-en:Higher-Order_and_Symbolic_Computation
foaf:primaryTopic
dbr:Higher-Order_and_Symbolic_Computation