MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Induction Principles for Sets." – sorted by Relevance.

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

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

12 documents found, showing 1 through 10. Next 10 →

ATOM

On Defining Functions on Binary Trees
by Grzegorz Bancerek, Piotr Rudnicki — 1993
… trees and binary grammars. We recast the induction principle for the set of parse trees of binary…
Cited by 4 (2 self) – Add To MetaCart

Extensions to the Support Vector Method
by Jason A. E. Weston — 1999 — Royal Holloway, University of London
… function), an induction principle, a set of decision functions, and finally an algorithm that implements…
Cited by 6 (0 self) – Add To MetaCart

Nominal techniques in Isabelle/HOL
by Christian Urban — 2005 — Proceedings of the 20th International Conference on Automated Deduction (CADE-20
…-terms and adapts some notions of the nominal logic work for this construction. An induction principle for this set…
Cited by 33 (6 self) – Add To MetaCart

The inductive approach to verifying cryptographic protocols
by Lawrence C. Paulson — 1998 — Journal of Computer Security
…. For reasoning about an inductively defined set, we may use the corresponding induction principle. For the set N…
Cited by 343 (26 self) – Add To MetaCart

Proving Properties of Security Protocols by Induction
by Lawrence C. Paulson — 1997 — In 10th IEEE Computer Security Foundations Workshop
… the corresponding induction principle. For the set N, it is the usual mathematical induction: to prove P (n…
Cited by 135 (8 self) – Add To MetaCart

A case study in machine-assisted proofs: The Integers form an Integral Domain
by Gustavo Betarte — 1993
… enough to work with. For that reason the formalization of an induction principle for the set is proposed…
Cited by 6 (0 self) – Add To MetaCart

Interactive Correctness Proofs for Software Modules Using KIV
by Wolfgang Reif , Gerhard Schellhorn, Kurt Stenzel — 1995 — IN TENTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE, IEEE
… principle for sets. The operations of SETNAT will be implemented by procedures that operate on lists…
Cited by 20 (12 self) – Add To MetaCart

Theorem Provers Survey
by R. Castelló, R. Mili — 1998
…, relations, induction principles, sets, and ordinal notations. Lemmas may be used before they are proved (and…
Add To MetaCart

Tactics in KIV
by Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel — 1994
… the (loose) semantics to the class of term-generated models, and gives a structural induction principle…
Cited by 1 (0 self) – Add To MetaCart

Inductive datatypes in HOL - lessons learned in Formal-Logic Engineering
by Stefan Berghofer, Markus Wenzel — 1999 — Theorem Proving in Higher Order Logics: TPHOLs ’99, LNCS 1690
… predicate. Both rules embody an induction principle for the set lfp F . The second (stronger) rule is easily…
Cited by 19 (5 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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