Amanote Research
Register
Sign In
Categories for Fixpoint-Semantics
doi 10.1109/sfcs.1976.9
Full Text
Open PDF
Abstract
Available in
full text
Date
October 1, 1976
Authors
Daniel J. Lehmann
Publisher
IEEE
Related search
Fixpoint Semantics for Active Integrity Constraints
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting
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
On Semantics of Some Verbal Categories in English
New Foundations for Fixpoint Computations
Conceptualizing Syntactic Categories as Semantic Categories: Unifying Part-Of-Speech Identification and Semantics Using Co-Occurrence Vector Averaging
Behavior Research Methods
Developmental
Arts
Psychology
Educational Psychology
Cognitive Psychology
Humanities
Experimental
FixBag: A Fixpoint Calculator for Quantified Bag Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Solving Nominal Fixpoint Equations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Measure Semantics and Qualitative Semantics for Epistemic Modals
Semantics and Linguistic Theory