Automatic Verification of Recursive Procedures With One Integer Parameter

Theoretical Computer Science - Netherlands
doi 10.1016/s0304-3975(02)00397-3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Real-Time Recursive Procedures

English

Predicate Transformers for Recursive Procedures With Local Variables

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1999English

On the Origin of Recursive Procedures

Computer Journal
Computer Science
2014English

Proof Rules for Recursive Procedures

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1993English

Improving Automatic Verification of Security Protocols With XOR

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Automatic Palmprint Verification

International Journal of Image and Graphics
Computer Science ApplicationsPattern RecognitionComputer VisionComputer GraphicsComputer-Aided Design
2001English

Automatic Speechreading With Application to Speaker Verification

2002English

A Formalism for Treating Equivalence of Recursive Procedures

RAIRO. Informatique théorique
1985English

Integer Parameter Estimation in Linear Models With Applications to GPS

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy