MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for CITATIONS to document sorted by Number of Citations:

An introduction to the theory of lists (1987)
by R S Bird
Logic of Programming and Calculi of Discrete Design
Add To MetaCart
Help! 152 citations found, showing 1 through 10. Next 10 →
ATOM RSS
  • Little Theories  
  • by William M. Farmer, Joshua D. Guttman, F. Javier Thayer — 1992 — Automated Deduction|CADE-11, volume 607 of Lecture Notes in Computer Science
  • Cited by 40 (14 self)Show/Hide ContextAdd To MetaCart
Help! Showing results 1 through 10. Next 10 →
ATOM RSS