Exploring the Rationality of Some Syntactic Merging Operators

Simple item page
dc.contributor.authorJ. Chacón
dc.contributor.authorRamón Pino Pérez
dc.coverage.spatialBolivia
dc.date.accessioned2026-03-22T20:23:36Z
dc.date.available2026-03-22T20:23:36Z
dc.date.issued2012
dc.identifier.doi10.1007/978-3-642-34654-5_3
dc.identifier.urihttps://doi.org/10.1007/978-3-642-34654-5_3
dc.identifier.urihttps://andeanlibrary.org/handle/123456789/81725
dc.language.isoen
dc.publisherSpringer Science+Business Media
dc.relation.ispartofLecture notes in computer science
dc.sourceUniversidad de Los Andes
dc.subjectComputer science
dc.subjectForward chaining
dc.subjectTheoretical computer science
dc.subjectClass (philosophy)
dc.subjectSemantics (computer science)
dc.subjectSet (abstract data type)
dc.subjectChaining
dc.subjectDecidability
dc.subjectAlgorithm
dc.titleExploring the Rationality of Some Syntactic Merging Operators
dc.typebook-chapter

Files

Collections

Capítulos de Libro