Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Rustan Leino

Well-Founded Functions and Extreme Predicates in Dafny: A Tutorial

English

Related publications

Hybrid Rules With Well-Founded Semantics

Knowledge and Information Systems
Information SystemsHuman-Computer InteractionHardwareArchitectureArtificial IntelligenceSoftware
2010English

An Infinite-Game Semantics for Well-Founded Negation in Logic Programming

Annals of Pure and Applied Logic
Logic
2008English

Well-Founded Semantics for Description Logic Programs in the Semantic Web

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2011English

Totally Correct Logic Program Transformations via Well-Founded Annotations

Higher-Order and Symbolic Computation
2008English

Russian Electronic Components for Extreme Conditions: Silicon Carbide Industry Founded by LETI

Nanoindustry Russia
2016English

Well-Founded Semantics for Extended Logic Programs With Dynamic Preferences

Journal of Artificial Intelligence Research
Artificial Intelligence
1996English

Verification Condition Generation for Permission Logics With Abstract Predicates and Abstraction Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

The Necessity for Well-Founded Teacher Education in Economics – Findings From Curriculum Analyses

2016English

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs

Theory and Practice of Logic Programming
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy