Authors
Citation
A. Piperno, An algebraic view of the Bohm-out technique, THEOR COMP, 212(1-2), 1999, pp. 233-246
Citations number
13
Categorie Soggetti
Computer Science & Engineering
Journal title
THEORETICAL COMPUTER SCIENCE
ISSN journal
03043975
→ ACNP
Volume
212
Issue
1-2
Year of publication
1999
Pages
233 - 246
Database
ISI
SICI code
0304-3975(19990206)212:1-2<233:AAVOTB>2.0.ZU;2-M
Abstract
Using an algebraic representation of closed B-normal forms in I-calculus, t
he Bohm's theorem is rephrased as an equality predicate between elements of
a term algebra. The presented algebraic interpretation gives new insight i
nto the Bohm-out technique and allows for original applications of the meth
od. (C) 1999-Elsevier Science B.V. All rights reserved.