About: Abstract rewriting machine

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Virtual machine

Property	Value
dbo:description	virtual machine (en)
dbo:wikiPageExternalLink	http://cl-informatik.uibk.ac.at/users/ami/research/publications/journals/04jfp.pdf%7C http://hal.inria.fr/docs/00/10/78/74/PDF/A01-R-139.pdf%7C http://www.dsic.upv.es/users/elp/berlanga/slucas/entcsV64/entcsV64.pdf http://www.logic.at/staff/gramlich/papers/wrs07-techrep.pdf http://portal.acm.org/citation.cfm%3Fid=291903&dl=GUIDE&coll=&CFID=15151515&CFTOKEN=6184618 http://portal.acm.org/citation.cfm%3Fid=345102&dl=ACM&coll=ACM&CFID=15151515&CFTOKEN=6184618 https://web.archive.org/web/20060516192924/http:/www.dsic.upv.es/users/elp/berlanga/slucas/entcsV64/entcsV64.pdf https://web.archive.org/web/20070327185702/http:/www.babelfish.nl/epicarm.html https://www.sciencedirect.com/science/article/pii/B978044451624450006X
dbo:wikiPageWikiLink	dbc:Term-rewriting_programming_languages dbr:Virtual_machine dbc:Virtual_machines dbr:Journal_of_Functional_Programming dbr:Electronic_Notes_in_Theoretical_Computer_Science dbr:Term_rewriting_system dbr:Term_rewriting dbr:Handbook_of_the_History_of_Logic dbr:Left-linear dbr:Proceedings_8th_International_Workshop_on_Computing_with_Terms_and_Graphs
dbp:wikiPageUsesTemplate	dbt:Cite_journal dbt:Block_indent dbt:External_links dbt:Computer_science_stub
dct:subject	dbc:Term-rewriting_programming_languages dbc:Virtual_machines
rdfs:label	Abstract rewriting machine (en)
owl:sameAs	freebase:Abstract rewriting machine yago-res:Abstract rewriting machine wikidata:Abstract rewriting machine dbpedia-global:Abstract rewriting machine
prov:wasDerivedFrom	wikipedia-en:Abstract_rewriting_machine?oldid=1295264640&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Abstract_rewriting_machine
is dbo:wikiPageDisambiguates of	dbr:Arm_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Abstract_Rewriting_Machine dbr:Minimal_term_rewriting_systems
is dbo:wikiPageWikiLink of	dbr:Abstract_Rewriting_Machine dbr:Arm_(disambiguation) dbr:Minimal_term_rewriting_systems
is foaf:primaryTopic of	wikipedia-en:Abstract_rewriting_machine