Exploring the Rationality of Some Syntactic Merging Operators

Date

2012

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Springer Science+Business Media

Abstract

Description

Keywords

Computer science, Forward chaining, Theoretical computer science, Class (philosophy), Semantics (computer science), Set (abstract data type), Chaining, Decidability, Algorithm

Citation

DOI

10.1007/978-3-642-34654-5_3

URI

https://doi.org/10.1007/978-3-642-34654-5_3
 https://andeanlibrary.org/handle/123456789/81725

Collections

Capítulos de Libro