ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
20
views
9
references
Top references
cited by
12
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,988
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
Refutational theorem proving using term-rewriting systems
Author(s):
Jieh Hsiang
Publication date
Created:
March 1985
Publication date
(Print):
March 1985
Journal:
Artificial Intelligence
Publisher:
Elsevier BV
Read this article at
ScienceOpen
Publisher
Further versions
oa repository (via OAI-PMH title and first author match)
Powered by
Review
Review article
Invite someone to review
Bookmark
Cite as...
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Artificial Intelligence in Medicine
Most cited references
9
Record
: found
Abstract
: not found
Article
: not found
Complete Sets of Reductions for Some Equational Theories
Mark Stickel
,
Gerald Peterson
(1981)
0
comments
Cited
27
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
James Slagle
(1974)
0
comments
Cited
24
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A Unification Algorithm for Associative-Commutative Functions
Mark Stickel
(1981)
0
comments
Cited
13
times
– based on
0
reviews
Review now
Bookmark
All references
Author and article information
Journal
Title:
Artificial Intelligence
Abbreviated Title:
Artificial Intelligence
Publisher:
Elsevier BV
ISSN (Print):
00043702
Publication date Created:
March 1985
Publication date (Print):
March 1985
Volume
: 25
Issue
: 3
Pages
: 255-300
Article
DOI:
10.1016/0004-3702(85)90074-8
SO-VID:
124c9d3d-d77f-4e49-9336-db5d24398bfe
Copyright ©
© 1985
License:
http://www.elsevier.com/tdm/userlicense/1.0/
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
3,988
Do oil, gold and metallic price volatilities prove gold as a safe haven during COVID-19 pandemic? Novel evidence from COVID-19 data
Authors:
Moyang Cui
,
Wing-Keung Wong
,
Worakamol Wisetsri
…
Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability
Authors:
Christian G Fermüller
,
Agata Ciabattoni
,
Matthias Baaz
Students’ reasons for introducing auxiliary lines in proving situations
Authors:
Alik Palatnik
,
Tommy Dreyfus
See all similar
Cited by
12
Rule-Based Runtime Verification
Authors:
Howard Barringer
,
Allen Goldberg
,
Klaus Havelund
…
Rewriting-Based Techniques for Runtime Verification
Authors:
Grigore Rosu
,
Klaus Havelund
Commutation, transformation, and termination
Authors:
Leo Bachmair
,
Nachum Dershowitz
See all cited by
Most referenced authors
26
J. P. Robinson
J. B. ROBINSON
JA Robinson
See all reference authors