Amanote Research
Register
Sign In
Well-Founded Functions and Extreme Predicates in Dafny: A Tutorial
doi 10.29007/v2m3
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Rustan Leino
Publisher
EasyChair
Related search
Hybrid Rules With Well-Founded Semantics
Knowledge and Information Systems
Information Systems
Human-Computer Interaction
Hardware
Architecture
Artificial Intelligence
Software
Well-Founded Semantics for Description Logic Programs in the Semantic Web
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Totally Correct Logic Program Transformations via Well-Founded Annotations
Higher-Order and Symbolic Computation
An Infinite-Game Semantics for Well-Founded Negation in Logic Programming
Annals of Pure and Applied Logic
Logic
Well-Founded Semantics for Extended Logic Programs With Dynamic Preferences
Journal of Artificial Intelligence Research
Artificial Intelligence
Russian Electronic Components for Extreme Conditions: Silicon Carbide Industry Founded by LETI
Nanoindustry Russia
Developing Verified Programs With Dafny
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
Theory and Practice of Logic Programming
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Artificial Intelligence
Software
The Necessity for Well-Founded Teacher Education in Economics – Findings From Curriculum Analyses
