scientific article; zbMATH DE number 549955

zbMath0801.68018MaRDI QIDQ4287474

Andreas Podelski, Hassan Aït-Kaci

Publication date: 12 April 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

symbolic computationexperimental programming languageorthogonal programming paradigms

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theory of programming languages (68N15)

Related Items

Constraint satisfaction with an object-oriented knowledge representation language, Feature automata and recognizable sets of feature trees, Equational and membership constraints for infinite trees, A rational reconstruction of the domain of feature structures, Situated simplification, Fifty Years of Prolog and Beyond, Similarity measures over refinement graphs, On subsumption and semiunification in feature algebras, C-expressions: A variable-free calculus for equational logic programming, Combining Horn rules and description logics in CARIN, Speeding up operations on feature terms using constraint programming and variable symmetry, A feature constraint system for logic programming with entailment