MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Generator Induction in Order Sorted Algebras." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Generator Induction in Order Sorted Algebras
by Olaf Owe, Ole-Johan Dahl, Olafoweandole-johan Dahl — 1990
…Generator Induction inOrder Sorted Algebras OlafOweandOle-Johan Dahl Institute of…
Cited by 5 (1 self) – Add To MetaCart

Computing, 1(1):85--114, 1989. [Nip89] Tobias Nipkow. Term rewriting and beyond - theorem proving in Isabelle.
by Formal Aspects Of, Nhwg Morgens Nielsen, Klaus Havelund, Kin Ritter Wagner, Chris George, The Raise, Ps H A Partsch, F A Stomp
… and Ole-Johan Dahl. Generator induction in order sorted algebras. Formal Aspects of Computing, 3…
Add To MetaCart

Formal Aspects of Computing Bibliography
by J. Allison, Mark Harman, Dan Simpson, Carroll Morgan, Annabelle Mciver, Karen Seidel, J C M Baeten, Geoffrey Brown, Wayne Luk, Ping Zhou, Jozef Hooman, Ruurd Kuiper Compositional Verification — 1997
…. [32] Olaf Owe and Ole-Johan Dahl. Generator induction in order sorted algebras. Formal Aspects…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB