Documents
Authors
Tables
Other Seers ▼
RefSeer
AckSeer
CollabSeer
SeerSeer
Log in
Sign up
MetaCart
Documents:
Advanced Search
Include Citations
Authors:
Advanced Search
Include Citations |
Disambiguate
Tables:
Re: Ackermann’s Function’. Info-hol mail message (1992)
by A D Gordon
Add To MetaCart
Tools
Sorted by:
Citation Count
Year (Descending)
Year (Ascending)
Recency
Results
1 - 1
of
1
A HOL basis for reasoning about functional programs
by Sten Agerholm
, 1994
"... ..."
Abstract
-
Cited by 23 (6 self)
-
Add to MetaCart
Abstract not found