Étude et implémentation d'un système de déduction pour logique algorithmique
From MaRDI portal
Publication:3802671
DOI10.1051/ita/1988220100571zbMath0655.68118MaRDI QIDQ3802671
Publication date: 1988
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/92301
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software
Cites Work
- An algebraic definition for control structures
- A theory of type polymorphism in programming
- First-order dynamic logic
- Edinburgh LCF. A mechanized logic of computation
- Completeness Proofs for Some Logics of Programs
- Algorithmic properties of structures
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item