scientific article
From MaRDI portal
Publication:4035222
zbMath0776.68070MaRDI QIDQ4035222
Michael J. Maher, Kim Marriott, Jean-Louis Lassez
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Learning and adaptive systems in artificial intelligence (68T05) Grammars and rewriting systems (68Q42)
Related Items
Equational formulas and pattern operations in initial order-sorted algebras, Implementing constructive intensional negation, The negation elimination from syntactic equational formula is decidable, On inductive inference of cyclic structures, Negation elimination in equational formulae, On the complexity of equational problems in CNF, Speeding up algorithms on atomic representations of Herbrand models via new redundancy criteria, AC complement problems: Satisfiability and negation elimination, Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras, On deciding subsumption problems, Explicit versus implicit representations of subsets of the Herbrand universe., Working with ARMs: Complexity results on atomic representations of Herbrand models
