Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain

QR Code

Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain

This paper reports a case study in the use of proof planning in the context of higher order syntax. Rippling is a heuristic for guiding rewriting steps in induction that has been used successfully in proof planning inductive proofs using first order representations. Ordinal arithmetic provides a n...

Full description

Bibliographic Details
Main Authors:	Dennis, Louise Abigail, Smaill, Alan
Other Authors:	Boulton, Richard J.
Format:	Conference or Workshop Item
Published:	Springer 2001
Online Access:	https://eprints.nottingham.ac.uk/339/

Similar Items

Rippling in PVS
by: Adams, Andrew A., et al.
Published: (2003)

The Domain-general vs. Domain-specific Role of Metacognition in Arithmetic Achievements
by: Nigar, Naima
Published: (2023)

A third-order class-D amplifier with and without ripple compensation
by: Cox, Stephen M., et al.
Published: (2018)

A Comparison of two Proof Critics: Power vs. Robustness
by: Dennis, Louise Abigail, et al.
Published: (2002)

The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs
by: Dennis, Louise Abigail
Published: (2004)

Higher dimensional adeles, mean-periodicity and zeta functions of arithmetic surfaces
by: Oliver, Thomas David
Published: (2014)

Arithmetic and relational operators
by: Bhatti, Zeeshan, et al.
Published: (2011)

Alternative method to develop new strategy in ordinal regression: a case study in dental
by: Lazin, Muhamamd Amirul Mat
Published: (2025)

Quarter-sweep arithmetic mean iterative algorithm to solve fourth-order parabolic equations
by: Sulaiman, Jumat, et al.
Published: (2009)

Integrating SVC and HOL with the PROSPER Toolkit
by: Stevenson, Alan, et al.
Published: (2000)

A new variant of arithmetic mean iterative method for fourth order integro-differential equations solution
by: Aruchunan, E., et al.
Published: (2016)

Ordinal reanalysis of the SHEP Trial
by: Bath, Philip M.W., et al.
Published: (2008)

Dr Mahathir creating ripples
by: Mohd Sani, Azizuddin
Published: (2019)

Ripple compensation for a class-D amplifier
by: Cox, Stephen M., et al.
Published: (2015)

Using a Generalisation Critic to find Bisimulations for Coinductive Proofs
by: Dennis, Louise Abigail, et al.
Published: (1999)

Structurally and arithmetically controlled grammars
by: Ashaari, S, et al.
Published: (2016)

Arithmetic version of boolean algebra
by: Azram, Mohammad, et al.
Published: (2009)

Arithmetic version of boolean algebra
by: Azram, Mohammad, et al.
Published: (2010)

Arithmetic version of boolean algebra
by: Azram, Mohammad, et al.
Published: (2009)

Analysts recommendation: a ripple effect that does not last
by: Tan, Jason, et al.
Published: (2012)

An Architecture for Proof Planning Systems
by: Dennis, Louise Abigail
Published: (2005)

Student attitudes to plagiarism and collusion within computer science
by: Dennis, Louise Abigail
Published: (2005)

The co-ordinative practices of temporary organisations
by: Peters, Linda D., et al.
Published: (2016)

Material selection based on ordinal data
by: Jahan, Ali, et al.
Published: (2010)

The Consequences of the SOX Ripple Effect on the UK
by: Bovey, Richard
Published: (2006)

Ripple Mark Styles in the Belait Formation
by: Padmanabhan, E., et al.
Published: (2010)

A Metaphor for Rough Set Theory: Modular Arithmetic
by: Wolski, Marcin, et al.
Published: (2018)

Interaction of topology and algebra in arithmetic geometry
by: Camara, Alberto
Published: (2013)

Investigations in two-dimensional arithmetic geometry
by: Morrow, Matthew Thomas
Published: (2009)

Steganography technique using modulus arithmetic
by: Jaafar, Sayuthi, et al.
Published: (2007)

Al-Kashi and access to the arithmetic & astronomy
by: Rasheed, Aous Naji, et al.
Published: (2011)

Arithmetic expressions and data types in C++
by: Shah, Asadullah, et al.
Published: (2011)

Large Integer Arithmetic in GPU for Cryptography
by: Lee, Wen Dick
Published: (2017)

Decision to cast a vote: an ordinal regression statistical analysis
by: Lubis, Muharman, et al.
Published: (2014)

A modern-day requirement for co-ordinated covert action
by: Cormac, Rory, et al.
Published: (2016)

A sequential decision approach to ordinal preferences in recommender systems
by: Tran, Truyen, et al.
Published: (2012)

A hybrid power converter with enhanced switching ripple cancellation
by: Papadopoulos, Savvas
Published: (2017)

Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki
by: Fesenko, Ivan
Published: (2015)

Spatial interpolation methods for interpretation of ordination diagrams
by: Mucina, Ladislav, et al.
Published: (1991)

The ripple effect of residential property price in Malaysia
by: Ibrahim, Khairunisah, et al.
Published: (2019)