3 research outputs found
Termination for direct sums of left-linear complete term rewriting systems
- Author
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
A correctness proof for combinator reduction with cycles
- Author
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
Program abstraction and instantiation
- Author
- ALLEN F. E.
- AUB N R
- BACK R. J.
- BALZER R. M.
- BARSTOW D.R.
- BAUER F. L.
- BLIKLE A.
- BROTSKY D.
- BROWN F. M.
- BROWN R.H.
- BUNDY A.
- BURSTEIN M.H.
- CARBONELL J.G.
- CARSONELL J. G.
- CONWA~ R.
- COOPER D.C
- DARLINGTON J.
- DECHTER R.
- DERSHOW TZ N
- DERSHOW TZ N
- DERSHOWITZ N.
- DEUSSEN P.
- DIJKSTRA E.W.
- DIJKSTRA E.W.
- DUNCAN A. G.
- EVANS T.G.
- FIKES R. E.
- FLOYD W.
- GERHART S. L.
- GERHART S. L.
- GERHART S.L.
- HESSE M.
- HUET G.
- KIEBURTZ R.
- KIRCHNER C.
- KLING R.E
- KOWALSKI R.A.
- LEE S.
- MANNA Z.
- MCDERMOTT J.
- MISRA J
- MOSTOW J
- MUNYER J.C.
- MURALIDHARAN M.N.
- Nachum Dershowitz
- PLAISTED D.A
- RICH C.
- SCHWARTZ J. T.
- STANDISH T. A.
- STANDISH T. A.
- SUSSMAN G. J.
- ULRICH J. W.
- WALKER S. A.
- WATERS R.C.
- WEGBREIT B
- YELOW TZ L
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study