About: Higher-Order and Symbolic Computation

An Entity of Type: work, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Computer science journal (1988–2013)

Property	Value
dbo:abbreviation	High.-Order Symb. Comput.
dbo:academicDiscipline	dbr:Computer_science
dbo:description	periodiek (nl) مجلة (ar) журнал (uk) computer science journal (1988–2013) (en)
dbo:issn	1388-3690
dbo:publisher	dbr:Springer_Science+Business_Media
dbo:wikiPageExternalLink	https://www.springer.com/computer/theoretical+computer+science/journal/10990 http://springerlink.metapress.com/content/1573-0557/ http://liinwww.ira.uka.de/bibliography/Ai/higherordersymbcomput.html http://www.brics.dk/~hosc/ https://dblp.org/streams/journals/lisp
dbo:wikiPageWikiLink	dbr:Academic_journal dbr:Io-port.net dbr:Journal_of_Functional_and_Logic_Programming dbr:Robert_R._Kessler dbc:Springer_Science+Business_Media_academic_journals dbr:Association_for_Computing_Machinery dbc:Computer_science_journals dbr:Aarhus_University dbr:Olivier_Danvy dbr:Inspec dbr:Springer_Science+Business_Media dbr:InfoTrac dbr:Carolyn_Talcott dbr:Computer_science dbr:EBSCO_Industries dbr:SRI_International dbr:Journal_of_Functional_Programming dbr:University_of_Utah dbr:VINITI_Database_RAS dbr:Scopus dbr:Editor-in-chief dbr:Richard_P._Gabriel dbr:DBLP dbr:Programming_language_theory dbr:PASCAL_(database) dbr:ACM_Computing_Reviews dbr:Journal_of_Symbolic_Computation dbr:Serials_Solutions dbr:Guy_L._Steele,_Jr. dbr:Zentralblatt_MATH dbr:EI-Compendex dbr:Computer_Science_Index dbr:Current_Abstracts dbr:Computer_Abstracts_International_Database dbr:Sun_Microsystems,_Inc.
dbp:abbreviation	High.-Order Symb. Comput. (en)
dbp:discipline	dbr:Computer_science
dbp:formerName	LISP and Symbolic Computation (en)
dbp:issn	1388 (xsd:integer)
dbp:publisher	dbr:Springer_Science+Business_Media
dbp:title	Higher-Order and Symbolic Computation (en)
dbp:website	https://www.springer.com/computer/theoretical+computer+science/journal/10990
dbp:wikiPageUsesTemplate	dbt:Infobox_journal dbt:Official dbt:Short_description
dct:subject	dbc:Springer_Science+Business_Media_academic_journals dbc:Computer_science_journals
gold:hypernym	dbr:Journal
rdf:type	owl:Thing wikidata:Q1092563 wikidata:Q234460 wikidata:Q386724 dbo:AcademicJournal dbo:PeriodicalLiterature dbo:Work dbo:WrittenWork schema:CreativeWork
rdfs:label	Higher-Order and Symbolic Computation (en)
owl:sameAs	freebase:Higher-Order and Symbolic Computation wikidata:Higher-Order and Symbolic Computation dbpedia-global:Higher-Order and Symbolic Computation dbr:Higher-Order and Symbolic Computation
prov:wasDerivedFrom	wikipedia-en:Higher-Order_and_Symbolic_Computation?oldid=1166922226&ns=0
foaf:homepage	https://www.springer.com/computer/theoretical+computer+science/journal/10990 https://www.springer.com/computer/theoretical+computer+science/journal/10990
foaf:isPrimaryTopicOf	wikipedia-en:Higher-Order_and_Symbolic_Computation
foaf:name	Higher-Order and Symbolic Computation (en)
is dbo:wikiPageRedirects of	dbr:Lisp_&_Symbolic_Computation dbr:Lisp_and_Symbolic_Computation dbr:LISP_&_Symbolic_Computation dbr:LISP_and_Symbolic_Computation dbr:Higher-Order_&_Symbolic_Computation dbr:Higher-order_&_Symbolic_Computation dbr:Higher-order_and_Symbolic_Computation
is dbo:wikiPageWikiLink of	dbr:Fundamental_Concepts_in_Programming_Languages dbr:Value_(computer_science) dbr:Carolyn_Talcott dbr:Peter_Landin dbr:Harry_Mairson dbr:International_Conference_on_Functional_Programming dbr:Journal_of_Functional_Programming dbr:J_operator dbr:Programming_language_theory dbr:List_of_computer_science_journals dbr:Journal_of_Symbolic_Computation dbr:Lisp_&_Symbolic_Computation dbr:Lisp_and_Symbolic_Computation dbr:LISP_&_Symbolic_Computation dbr:LISP_and_Symbolic_Computation dbr:Higher-Order_&_Symbolic_Computation dbr:Higher-order_&_Symbolic_Computation dbr:Higher-order_and_Symbolic_Computation
is foaf:primaryTopic of	wikipedia-en:Higher-Order_and_Symbolic_Computation