MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Generalised Coinduction." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Generalised Coinduction  
  • by Falk Bartels — 2001
  • …://www.elsevier.nl/locate/entcs/volume44.html 21 pages Abstract Generalised Coinduction Falk Bartels 1 CWI, P.O. Box 94079, 1090 GB…
  • Cited by 12 (3 self) – Add To MetaCart
  • Generalised Coinduction  
  • by Generalised Coinduction, Falk Bartels — 2001
  • …://www.elsevier.nl/locate/entcs/volume44.html 21 pages Abstract Generalised Coinduction Falk Bartels 1 CWI, P.O. Box 94079, 1090 GB…
  • Add To MetaCart
  • Elements of stream calculus  
  • by J. J. M. M. Rutten — 2001 — In MFPS 2001, ENTCS 45
  • … introduces a generalisation of the coinduction proof principle that turns out to be extremely useful…
  • Cited by 1 (1 self) – Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB