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
An Infinite-Game Semantics for Well-Founded Negation in Logic Programming
Annals of Pure and Applied Logic
Logic
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
Russian Electronic Components for Extreme Conditions: Silicon Carbide Industry Founded by LETI
Nanoindustry Russia
Well-Founded Semantics for Extended Logic Programs With Dynamic Preferences
Journal of Artificial Intelligence Research
Artificial Intelligence
Verification Condition Generation for Permission Logics With Abstract Predicates and Abstraction Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Necessity for Well-Founded Teacher Education in Economics – Findings From Curriculum Analyses
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
