Algebraic and Computational Examples

Ayala-Rincón, Mauricio; de Moura, Flávio L. C.

doi:10.1007/978-3-319-51653-0_5

Mauricio Ayala-Rincón¹² &
Flávio L. C. de Moura¹³

Part of the book series: Undergraduate Topics in Computer Science ((UTICS))

2040 Accesses

Abstract

In this chapter, we present simple cases of study in order to illustrate the application of PVS for formalizing algebraic and algorithmic properties.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Chapter: USD 29.95; Price excludes VAT (USA)

eBook: USD 39.99; Price excludes VAT (USA)

Softcover Book: USD 49.99; Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Author information

Authors and Affiliations

Departments of Mathematics and Computer Science, Universidade de Brasília, Brasília, Brazil
Mauricio Ayala-Rincón
Department of Computer Science, Universidade de Brasília, Brasília, Brazil
Flávio L. C. de Moura

Authors

Mauricio Ayala-Rincón
View author publications
You can also search for this author in PubMed Google Scholar
Flávio L. C. de Moura
View author publications
You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mauricio Ayala-Rincón .

Rights and permissions

Reprints and permissions

Copyright information

About this chapter

Cite this chapter

Ayala-Rincón, M., de Moura, F.L.C. (2017). Algebraic and Computational Examples. In: Applied Logic for Computer Scientists . Undergraduate Topics in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-319-51653-0_5

Download citation

DOI: https://doi.org/10.1007/978-3-319-51653-0_5
Published: 07 February 2017
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-51651-6
Online ISBN: 978-3-319-51653-0
eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics