MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Sten Agerholm" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 18 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Non-primitive Recursive Function Definitions  
  • by Sten Agerholm, Sten Agerholm — 1995 — Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and Its Applications (LNCS 971
  • …BRICS Basic Research in Computer Science Non-primitive Recursive Function Definitions Sten Agerholm…
  • Cited by 2 (0 self) – Add To MetaCart
  • Translating Specifications in VDM-SL to PVS  
  • by Sten Agerholm — 1996 — Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs '96, volume 1125 of Lecture Notes in Computer Science
  • …Translating Specifications in VDM-SL to PVS Sten Agerholm The Institute of Applied Computer…
  • Cited by 12 (2 self) – Add To MetaCart
  • LCF Examples in HOL  
  • by Sten Agerholm, Sten Agerholm — 1994 — The Computer Journal
  • …BRICS Basic Research in Computer Science LCF Examples in HOL Sten Agerholm BRICS Report Series RS…
  • Cited by 10 (3 self) – Add To MetaCart
  • Experiments with ZF Set Theory in HOL and Isabelle  
  • by Sten Agerholm, Sten Agerholm, Mike Gordon, Mike Gordon — 1995 — in Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and its Applications, LNCS
  • …://www.brics.aau.dk/BRICS/ ftp ftp.brics.aau.dk (cd pub/BRICS) Experiments with ZF Set Theory in HOL and Isabelle Sten Agerholm…
  • Cited by 11 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB