Amanote Research
Register
Sign In
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting
doi 10.29007/cpt8
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Marco Comini
Luca Torella
Publisher
EasyChair
Related search
Categories for Fixpoint-Semantics
Fixpoint Semantics for Active Integrity Constraints
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
A Rewriting Logic Approach to Operational Semantics
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
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
Goal Solving as Operational Semantics
Goal Dependent vs. Goal Independent Analysis of Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Goal Preference Data in Seven Small Midwestern School Districts: An Evaluation of the Information as a Step in a Needs Assessment Process
The Impact of Participation on Goal Acceptance and Performance: A Two-Step Model
Academy of Management Journal
Management
Business
International Management
Strategy
Innovation
Accounting
Management of Technology
A Small Step Toward Interoperability
Information & Security: An International Journal