Amanote Research
Register
Sign In
Abstractions Before Proofs
doi 10.29007/v7vx
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Cliff Jones
Publisher
EasyChair
Related search
Water Abstractions
Ranking Abstractions
Abstractions for Network Update
Proofs for Free
Journal of Functional Programming
Software
Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cellular Abstractions: Cells as Computation
Nature
Multidisciplinary
Les Abstractions De l'Économie Globale
Abstractions for Mobile Computation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Introducing Abstractions via Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
