Amanote Research
Register
Sign In
Fast and Precise Regular Approximations of Logic Programs
doi 10.7551/mitpress/4316.003.0058
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1994
Authors
Unknown
Publisher
The MIT Press
Related search
Rough Approximations in Varieties of Regular Languages
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Bounds and Approximations for Multistage Stochastic Programs
SIAM Journal on Optimization
Theoretical Computer Science
Software
Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics
Logic Journal of the IGPL
Philosophy
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Regular Linear-Time Temporal Logic
Learnability of Constrained Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Disjunctive Signed Logic Programs
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Relating Logic Programs and Attribute Grammars
Decision Support Systems
Developmental
Arts
Information Systems
Educational Psychology
Humanities
Management
Management Information Systems
Incremental Analysis of Logic Programs
