MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Barendregt's Variable Convention in Rule Inductions." – 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

Barendregt’s variable convention in rule inductions
by Christian Urban, Stefan Berghofer, Michael Norrish — 2007 — In Proc. of the 21th International Conference on Automated Deduction (CADE), volume 4603 of LNAI
… Barendregt's Variable Convention in Rule Inductions Christian Urban1, Stefan Berghofer1…
Cited by 6 (4 self) – Add To MetaCart

A formal treatment of the Barendregt Variable Convention in rule inductions
by Christian Urban — 2005 — In MERLIN ’05: Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized
…A Formal Treatment of the Barendregt Variable Convention in Rule Inductions Abstract Christian…
Cited by 9 (3 self) – Add To MetaCart

Nominal Inversion Principles
by Stefan Berghofer, Christian Urban, Technische Universität München
… of Barendregt’s variable convention in rule inductions. 1 Introduction Inductively defined predicates play…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB